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 (* parses a string to a term *)\r
   7 val parse: string -> term\r
   8 (* parse many strings/terms, and returns the list of parsed terms + the list of free variables; variable 0 is not used *)\r
   9 val parse_many: string list -> term list * string list\r