Module Model.S.Semantics
module Semantics:Model.SEMANTICSwith module Command = Command
module Region:Model.REGION
module Command:Model.COMMAND
val post : Region.t -> Command.t -> Region.tval pre : Region.t -> Command.t -> Region.tval rel : Command.t -> Region.t -> Region.t -> bool