Module type Model.COMMAND
module type COMMAND =The COMMAND signature simply specifies an abstract data-type for commands.sig
..end
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