A Gobstones error, when an auxiliary operation is called, and its precondition it is not satisfied.

Hierarchy (view full)

Constructors

Constructors