module Command: Model.COMMAND
Model.COMMAND
include Print.PRINTABLE_TYPE
type t_command =
|
Internal
Input
Output
val give_type : t -> t_command
t -> t_command
val give_queue : t -> int
t -> int
val give_message : t -> string
t -> string