aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13134logplain
-rw-r--r--check.mllib291logplain
-rw-r--r--check_stat.ml1916logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12137logplain
-rw-r--r--closure.ml27935logplain
-rw-r--r--closure.mli5578logplain
-rw-r--r--declarations.ml26372logplain
-rw-r--r--declarations.mli6796logplain
-rw-r--r--environ.ml5713logplain
-rw-r--r--environ.mli2403logplain
-rw-r--r--include4785logplain
-rw-r--r--indtypes.ml20758logplain
-rw-r--r--indtypes.mli1380logplain
-rw-r--r--inductive.ml34043logplain
-rw-r--r--inductive.mli2995logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml13671logplain
-rw-r--r--mod_checking.mli614logplain
-rw-r--r--modops.ml5954logplain
-rw-r--r--modops.mli1827logplain
-rw-r--r--reduction.ml15737logplain
-rw-r--r--reduction.mli1833logplain
-rw-r--r--safe_typing.ml7035logplain
-rw-r--r--safe_typing.mli1355logplain
-rw-r--r--subtyping.ml13919logplain
-rw-r--r--subtyping.mli665logplain
-rw-r--r--term.ml16251logplain
-rw-r--r--term.mli4170logplain
-rw-r--r--type_errors.ml3657logplain
-rw-r--r--type_errors.mli3446logplain
-rw-r--r--typeops.ml12965logplain
-rw-r--r--typeops.mli967logplain
-rw-r--r--validate.ml6538logplain