sig
module Region : REGION
module Command : 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
val clo : int -> Region.t -> Region.t
end