Make.1-DSM
module State_machine : Idf_intf.SM_SIG
State machine to decompose
module Template : Idf_intf.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