sig type t val print : Format.formatter -> t -> unit type t_command = Internal | Input | Output val give_type : t -> Model.COMMAND.t_command val give_queue : t -> int val give_message : t -> string end