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