aux 0 where
;;
-(************ Parsing ************************************)
-
-let parse' strs =
- let fix_arity = function
- | `I((n,_),args) -> `I((n,1+Listx.length args),args)
- | _ -> assert false in
- let rec aux = function
- | Parser.Lam t -> `Lam (true, aux t)
- | Parser.App (t1, t2) -> fix_arity (mk_app (aux t1) (aux t2))
- | Parser.Var v -> `Var(v,1) in
- let (tms, free) = Parser.parse_many strs in
- List.map aux tms, free
-;;
-
(************** Algorithm(s) ************************)
let eta_compare x y =