ocaml/parser.mli

   1 exception ParsingError of string\r
   2 \r
   3 (* parses a string to a term *)\r
   4 (* val parse: string -> Num.nf *)\r
   5 (* parse many strings/terms, and returns the list of parsed terms + the list of free variables; variable 0 is not used *)\r
   6 val parse_many: string list -> Num.nf list * string list\r
   7 val parse': string list -> Num.nf list * string list\r
   8 val parse_problem:\r
   9  string ->\r
  10   Num.i_var option * Num.i_n_var list * Num.i_n_var list\r