ocaml/parser.mli

   1 type term =\r
   2   | Var of int\r
   3   | App of term * term\r
   4   | Lam of term\r
   5 \r
   6 exception ParsingError of string\r
   7 \r
   8 (* val problem_of_string:\r
   9  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
  21 \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