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_commandval give_queue : t -> intval give_message : t -> string