summaryrefslogtreecommitdiff
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13385logplain
-rw-r--r--check.mllib291logplain
-rw-r--r--check_stat.ml1910logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12112logplain
-rw-r--r--closure.ml34415logplain
-rw-r--r--closure.mli6272logplain
-rw-r--r--declarations.ml28425logplain
-rw-r--r--declarations.mli5984logplain
-rw-r--r--environ.ml5559logplain
-rw-r--r--environ.mli2527logplain
-rw-r--r--include4785logplain
-rw-r--r--indtypes.ml20780logplain
-rw-r--r--indtypes.mli1444logplain
-rw-r--r--inductive.ml34367logplain
-rw-r--r--inductive.mli2973logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml13494logplain
-rw-r--r--modops.ml6768logplain
-rw-r--r--modops.mli1980logplain
-rw-r--r--reduction.ml16012logplain
-rw-r--r--reduction.mli2138logplain
-rw-r--r--safe_typing.ml4684logplain
-rw-r--r--safe_typing.mli974logplain
-rw-r--r--subtyping.ml13817logplain
-rw-r--r--subtyping.mli800logplain
-rw-r--r--term.ml16541logplain
-rw-r--r--term.mli4511logplain
-rw-r--r--type_errors.ml3803logplain
-rw-r--r--type_errors.mli3579logplain
-rw-r--r--typeops.ml14102logplain
-rw-r--r--typeops.mli1030logplain
-rw-r--r--validate.ml5699logplain