Idf_intf.SM_SIG
Representation of a (potentially infinite) state machine
type state
Type of the state machine state
type event
Type of a state machine event
val init_state : state
Initial state of the state machine
val step : event -> state -> state
Transition function of the state machine
val is_valid : event -> state -> bool
Validity function for a transition of the state machine