aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13877logplain
-rw-r--r--check.mllib410logplain
-rw-r--r--check_stat.ml1898logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml11864logplain
-rw-r--r--cic.mli13035logplain
-rw-r--r--closure.ml27561logplain
-rw-r--r--closure.mli5566logplain
-rw-r--r--declarations.ml17960logplain
-rw-r--r--declarations.mli1367logplain
-rw-r--r--environ.ml5617logplain
-rw-r--r--environ.mli2060logplain
-rw-r--r--include4778logplain
-rw-r--r--indtypes.ml20683logplain
-rw-r--r--indtypes.mli1337logplain
-rw-r--r--inductive.ml33822logplain
-rw-r--r--inductive.mli2976logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4340logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml5494logplain
-rw-r--r--modops.mli1515logplain
-rw-r--r--reduction.ml15782logplain
-rw-r--r--reduction.mli1842logplain
-rw-r--r--safe_typing.ml2994logplain
-rw-r--r--safe_typing.mli805logplain
-rw-r--r--subtyping.ml14023logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml12555logplain
-rw-r--r--term.mli2204logplain
-rw-r--r--type_errors.ml3666logplain
-rw-r--r--type_errors.mli3445logplain
-rw-r--r--typeops.ml11621logplain
-rw-r--r--typeops.mli907logplain
-rw-r--r--validate.ml4849logplain
-rw-r--r--values.ml8702logplain
-rw-r--r--votour.ml5346logplain