Module Model.S.Semantics


module Semantics: Model.SEMANTICS 
  with module Command = Command

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