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