Module Imandra_tools.Idf

module Debug : sig ... end
module Make (DSM : Idf_intf.DSM_SIG) : Idf_intf.SIG with module DSM = DSM

Create a new IDF module for the given SM state machine