type t = [
|
`Halt
`Unknown
`Error of string
`Format of string * format_args
]
val read_input : IO.ic -> t IO.t
val output : IO.oc -> t -> unit IO.t
