sig
  module Region : REGION
  module Command :
    sig
      type t = Command.t
      val print : Format.formatter -> t -> unit
      type t_command = Command.t_command = Internal | Input | Output
      val give_type : t -> t_command
      val give_queue : t -> int
      val give_message : t -> string
    end
  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