aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13167logplain
-rw-r--r--check.mllib304logplain
-rw-r--r--check_stat.ml1939logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12419logplain
-rw-r--r--closure.ml27951logplain
-rw-r--r--closure.mli5578logplain
-rw-r--r--declarations.ml26384logplain
-rw-r--r--declarations.mli6786logplain
-rw-r--r--environ.ml6249logplain
-rw-r--r--environ.mli2457logplain
-rw-r--r--include4785logplain
-rw-r--r--indtypes.ml20782logplain
-rw-r--r--indtypes.mli1380logplain
-rw-r--r--inductive.ml34055logplain
-rw-r--r--inductive.mli2995logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml12723logplain
-rw-r--r--mod_checking.mli614logplain
-rw-r--r--modops.ml5966logplain
-rw-r--r--modops.mli1817logplain
-rw-r--r--reduction.ml15749logplain
-rw-r--r--reduction.mli1833logplain
-rw-r--r--safe_typing.ml7059logplain
-rw-r--r--safe_typing.mli1353logplain
-rw-r--r--subtyping.ml14293logplain
-rw-r--r--subtyping.mli754logplain
-rw-r--r--term.ml16263logplain
-rw-r--r--term.mli4170logplain
-rw-r--r--type_errors.ml3657logplain
-rw-r--r--type_errors.mli3446logplain
-rw-r--r--typeops.ml12977logplain
-rw-r--r--typeops.mli967logplain
-rw-r--r--validate.ml6538logplain