aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--analyze.ml8663logplain
-rw-r--r--analyze.mli785logplain
-rw-r--r--check.ml15188logplain
-rw-r--r--check.mllib516logplain
-rw-r--r--check_stat.ml2124logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml13755logplain
-rw-r--r--cic.mli15266logplain
-rw-r--r--closure.ml29141logplain
-rw-r--r--closure.mli5958logplain
-rw-r--r--declarations.ml19148logplain
-rw-r--r--declarations.mli1662logplain
-rw-r--r--environ.ml7338logplain
-rw-r--r--environ.mli2452logplain
-rw-r--r--include4965logplain
-rw-r--r--indtypes.ml20873logplain
-rw-r--r--indtypes.mli1314logplain
-rw-r--r--inductive.ml45422logplain
-rw-r--r--inductive.mli2913logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4987logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml4827logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--print.ml5087logplain
-rw-r--r--reduction.ml19413logplain
-rw-r--r--reduction.mli1903logplain
-rw-r--r--safe_typing.ml3523logplain
-rw-r--r--safe_typing.mli844logplain
-rw-r--r--subtyping.ml15368logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml14363logplain
-rw-r--r--term.mli2523logplain
-rw-r--r--type_errors.ml3841logplain
-rw-r--r--type_errors.mli3604logplain
-rw-r--r--typeops.ml12733logplain
-rw-r--r--typeops.mli883logplain
-rw-r--r--univ.ml35856logplain
-rw-r--r--univ.mli7723logplain
-rw-r--r--validate.ml5126logplain
-rw-r--r--values.ml10884logplain
-rw-r--r--votour.ml10429logplain