1-DSM.State_machine
State machine to decompose
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