sig
type galax_input
val galax_input_from_input_spec :
Processing_context.processing_context ->
Galax_io.input_spec -> Parse_io.galax_input
val galax_utf8_input_from_input_spec :
Processing_context.processing_context ->
Galax_io.input_spec -> Parse_io.galax_input
val close_galax_input : Parse_io.galax_input -> unit
val lexbuf_from_galax_input : Parse_io.galax_input -> Lexing.lexbuf
val parse_error_msg : Galax_io.input_spec -> string
val name_of_input_spec : Galax_io.input_spec -> string
type galax_output
val galax_output_from_output_spec :
Galax_io.output_spec -> Parse_io.galax_output
val formatter_of_galax_output : Parse_io.galax_output -> Format.formatter
val close_galax_output : Parse_io.galax_output -> unit
end