1 exception ParsingError of string
\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
10 Num.i_var option * Num.i_n_var list * Num.i_n_var list
\r