ocaml/parser.mli

   1 exception ParsingError of string\r
   2 \r
   3 val parse': string list -> Num.nf list * string list\r
   4 val problem_of_string:\r
   5  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