6 exception ParsingError of string
\r
8 (* val problem_of_string:
\r
10 string (* problem label *)
\r
11 * Num.i_var option (* div *)
\r
12 * Num.i_n_var list (* conv *)
\r
13 * Num.i_n_var list (* ps *)
\r
14 * string list (* names of free variables *)
\r
15 val from_file : string ->
\r
16 (string (* problem label *)
\r
17 * Num.i_var option (* div *)
\r
18 * Num.i_n_var list (* conv *)
\r
19 * Num.i_n_var list (* ps *)
\r
20 * string list (* names of free variables *)) list *)
\r
22 (* parses a string to a term *)
\r
23 val parse: string -> term
\r
24 (* parse many strings/terms, and returns the list of parsed terms + the list of free variables; variable 0 is not used *)
\r
25 val parse_many: string list -> term list * string list
\r