Idf_intf.TPL_SIG
A symbolic template of events
type state
Type of the state machine state
type t
Symbolic event
type c
Concrete event
val concrete : t -> c -> state -> bool
Mapping from a symbolic event to the concrete event it matches