Module type Model.COMMAND


module type COMMAND = sig .. end
The COMMAND signature simply specifies an abstract data-type for commands.

include Print.PRINTABLE_TYPE

type t_command =
| Internal
| Input
| Output
val give_type : t -> t_command
val give_queue : t -> int
val give_message : t -> string