SIG.DSM
State machine to decompose
module State_machine : SM_SIG
module Template : TPL_SIG with type c = State_machine.event with type state = State_machine.state
Symbolic template of events
val module_name : string
Reflected name of the current module