aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml13893logplain
-rw-r--r--check.mllib427logplain
-rw-r--r--check_stat.ml1898logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml11864logplain
-rw-r--r--cic.mli13055logplain
-rw-r--r--closure.ml27580logplain
-rw-r--r--closure.mli5566logplain
-rw-r--r--declarations.ml18085logplain
-rw-r--r--declarations.mli1455logplain
-rw-r--r--environ.ml5617logplain
-rw-r--r--environ.mli2060logplain
-rw-r--r--include4778logplain
-rw-r--r--indtypes.ml20641logplain
-rw-r--r--indtypes.mli1337logplain
-rw-r--r--inductive.ml33777logplain
-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.ml15783logplain
-rw-r--r--reduction.mli1842logplain
-rw-r--r--safe_typing.ml2994logplain
-rw-r--r--safe_typing.mli805logplain
-rw-r--r--subtyping.ml14267logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml12580logplain
-rw-r--r--term.mli2260logplain
-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.ml8584logplain
-rw-r--r--votour.ml5346logplain