1-DSM.Template
Symbolic template of events
type state = State_machine.state
Type of the state machine state
type t
Symbolic event
type c = State_machine.event
Concrete event
val concrete : t -> c -> state -> bool
Mapping from a symbolic event to the concrete event it matches