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