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
end