Type Alias Invariant<S>

Invariant: InvariantCheck<S> | InvariantOptions<S>

An invariant of a StateMachine: either a bare InvariantCheck (sampled between steps) or an InvariantOptions object.

Type Parameters

S