aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13410logplain
-rw-r--r--check_stat.ml1922logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12484logplain
-rw-r--r--closure.ml34719logplain
-rw-r--r--closure.mli6224logplain
-rw-r--r--declarations.ml18221logplain
-rw-r--r--declarations.mli6181logplain
-rw-r--r--environ.ml5801logplain
-rw-r--r--environ.mli2576logplain
-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.ml13821logplain
-rw-r--r--modops.ml11346logplain
-rw-r--r--modops.mli2291logplain
-rw-r--r--reduction.ml15578logplain
-rw-r--r--reduction.mli1999logplain
-rw-r--r--safe_typing.ml4514logplain
-rw-r--r--safe_typing.mli974logplain
-rw-r--r--subtyping.ml14428logplain
-rw-r--r--subtyping.mli800logplain
-rw-r--r--term.ml14867logplain
-rw-r--r--term.mli4341logplain
-rw-r--r--type_errors.ml3805logplain
-rw-r--r--type_errors.mli3585logplain
-rw-r--r--typeops.ml13850logplain
-rw-r--r--typeops.mli1030logplain
-rw-r--r--validate.ml8834logplain