1 exception ParsingError of string
\r
3 val parse': string list -> Num.nf list * string list
\r
4 val problem_of_string:
\r
6 string (* problem label *)
\r
7 * Num.i_var option (* div *)
\r
8 * Num.i_n_var list (* conv *)
\r
9 * Num.i_n_var list (* ps *)
\r
10 * string list (* names of free variables *)
\r