sig
type input = { in_phrase : string; }
type output = { stdout : string; stderr : string; topout : string; }
type result =
Exc of string
| Ok of Stog_ocaml_types.output
| Handled_error of Stog_ocaml_types.output
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