aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml12972logplain
-rw-r--r--check_stat.ml1922logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml11698logplain
-rw-r--r--closure.ml34719logplain
-rw-r--r--closure.mli6224logplain
-rw-r--r--declarations.ml18038logplain
-rw-r--r--declarations.mli6123logplain
-rw-r--r--environ.ml5801logplain
-rw-r--r--environ.mli2576logplain
-rw-r--r--indtypes.ml19696logplain
-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.ml13765logplain
-rw-r--r--modops.ml11310logplain
-rw-r--r--modops.mli2291logplain
-rw-r--r--reduction.ml15021logplain
-rw-r--r--reduction.mli1999logplain
-rw-r--r--safe_typing.ml4468logplain
-rw-r--r--safe_typing.mli974logplain
-rw-r--r--subtyping.ml14420logplain
-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