]> matita.cs.unibo.it Git - helm.git/tree - helm/ocaml/cic_disambiguation/
Avoid generation of let x = let rec x = ... in x in (x ...).
[helm.git] / helm / ocaml / cic_disambiguation /
drwxr-xr-x   ..
-rw-r--r-- 74 .cvsignore
-rw-r--r-- 864 .depend
-rw-r--r-- 753 Makefile
-rw-r--r-- 36416 disambiguate.ml
-rw-r--r-- 3504 disambiguate.mli
-rw-r--r-- 2089 disambiguateChoices.ml
-rw-r--r-- 1732 disambiguateChoices.mli
-rw-r--r-- 3060 disambiguatePp.ml
-rw-r--r-- 1313 disambiguatePp.mli
-rw-r--r-- 3836 disambiguateTypes.ml
-rw-r--r-- 3340 disambiguateTypes.mli
drwxr-xr-x - doc
-rw-r--r-- 1982 number_notation.ml
drwxr-xr-x - tests