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