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
11 val from_file : string ->
\r
12 (string (* problem label *)
\r
13 * Num.i_var option (* div *)
\r
14 * Num.i_n_var list (* conv *)
\r
15 * Num.i_n_var list (* ps *)
\r
16 * string list (* names of free variables *)) list
\r