sig
  val parse :
    ?mode:Parsing_utils.include_mode ->
    ?into:Parsing_utils.statement CCVector.vector ->
    [ `File of string | `Stdin ] ->
    Parsing_utils.statement CCVector.vector Parsing_utils.or_error
  val ty_of_string : string -> Parsing_utils.ty Parsing_utils.or_error
  val ty_of_string_exn : string -> Parsing_utils.ty
  val term_of_string : string -> Parsing_utils.term Parsing_utils.or_error
  val term_of_string_exn : string -> Parsing_utils.term
  val statement_of_string :
    string -> Parsing_utils.statement Parsing_utils.or_error
  val statement_of_string_exn : string -> Parsing_utils.statement
end