Module type Model.SEMANTICS
module type SEMANTICS =The SEMANTICS signature specifies how the semantics of the model shall be given to the model-checking engine.sig
..end
module Region:Model.REGION
module Command:Model.COMMAND
val post : Region.t -> Command.t -> Region.t
val pre : Region.t -> Command.t -> Region.t
val rel : Command.t -> Region.t -> Region.t -> bool