aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--analyze.ml8588logplain
-rw-r--r--analyze.mli785logplain
-rw-r--r--check.ml15309logplain
-rw-r--r--check.mllib555logplain
-rw-r--r--check_stat.ml1950logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml13603logplain
-rw-r--r--cic.mli15977logplain
-rw-r--r--closure.ml28698logplain
-rw-r--r--closure.mli5999logplain
-rw-r--r--declarations.ml19098logplain
-rw-r--r--declarations.mli1714logplain
-rw-r--r--environ.ml7257logplain
-rw-r--r--environ.mli2454logplain
-rw-r--r--include4963logplain
-rw-r--r--indtypes.ml23745logplain
-rw-r--r--indtypes.mli1296logplain
-rw-r--r--inductive.ml43723logplain
-rw-r--r--inductive.mli2962logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4746logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml5088logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--print.ml5142logplain
-rw-r--r--reduction.ml22162logplain
-rw-r--r--reduction.mli1882logplain
-rw-r--r--safe_typing.ml3371logplain
-rw-r--r--safe_typing.mli844logplain
-rw-r--r--subtyping.ml15388logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml14418logplain
-rw-r--r--term.mli2541logplain
-rw-r--r--type_errors.ml3841logplain
-rw-r--r--type_errors.mli3604logplain
-rw-r--r--typeops.ml11825logplain
-rw-r--r--typeops.mli822logplain
-rw-r--r--univ.ml37327logplain
-rw-r--r--univ.mli8380logplain
-rw-r--r--validate.ml5126logplain
-rw-r--r--values.ml11148logplain
-rw-r--r--votour.ml10957logplain