Module type Model.SEMANTICS


module type SEMANTICS = sig .. end
The SEMANTICS signature specifies how the semantics of the model shall be given to the model-checking engine.

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