Module Imandra_tools.Idf_intf

module type TPL_SIG = sig ... end

A symbolic template of events

module type SM_SIG = sig ... end

Representation of a (potentially infinite) state machine

module type DSM_SIG = sig ... end

Representation of a symbolically decomposible (potentially infinite) state machine

module type SIG = sig ... end

A decomposition strategy