aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13411logplain
-rw-r--r--check.mllib265logplain
-rw-r--r--check_stat.ml1908logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12288logplain
-rw-r--r--closure.ml34719logplain
-rw-r--r--closure.mli6224logplain
-rw-r--r--declarations.ml20968logplain
-rw-r--r--declarations.mli6290logplain
-rw-r--r--environ.ml5732logplain
-rw-r--r--environ.mli2686logplain
-rw-r--r--include4628logplain
-rw-r--r--indtypes.ml20232logplain
-rw-r--r--indtypes.mli1444logplain
-rw-r--r--inductive.ml33227logplain
-rw-r--r--inductive.mli2959logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml13999logplain
-rw-r--r--modops.ml11386logplain
-rw-r--r--modops.mli2291logplain
-rw-r--r--reduction.ml15578logplain
-rw-r--r--reduction.mli1999logplain
-rw-r--r--safe_typing.ml4670logplain
-rw-r--r--safe_typing.mli974logplain
-rw-r--r--subtyping.ml14428logplain
-rw-r--r--subtyping.mli800logplain
-rw-r--r--term.ml16561logplain
-rw-r--r--term.mli4511logplain
-rw-r--r--type_errors.ml3805logplain
-rw-r--r--type_errors.mli3585logplain
-rw-r--r--typeops.ml14144logplain
-rw-r--r--typeops.mli1030logplain
-rw-r--r--validate.ml5606logplain