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