Module Model.AUTOMATON.Command


module Command: Model.COMMAND 

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