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