sig
type input = { in_phrase : string; }
type result =
Exc of string
| Ok of string * string
| Handled_error of string * string
val read_input : Pervasives.in_channel -> Stog_ocaml_types.input
val write_input : Pervasives.out_channel -> Stog_ocaml_types.input -> unit
val read_result : Pervasives.in_channel -> Stog_ocaml_types.result
val write_result :
Pervasives.out_channel -> Stog_ocaml_types.result -> unit
end