aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml15376logplain
-rw-r--r--check.mllib458logplain
-rw-r--r--check_stat.ml1898logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml13642logplain
-rw-r--r--cic.mli13466logplain
-rw-r--r--closure.ml28098logplain
-rw-r--r--closure.mli5558logplain
-rw-r--r--declarations.ml18038logplain
-rw-r--r--declarations.mli1599logplain
-rw-r--r--environ.ml5657logplain
-rw-r--r--environ.mli2062logplain
-rw-r--r--include4778logplain
-rw-r--r--indtypes.ml20676logplain
-rw-r--r--indtypes.mli1314logplain
-rw-r--r--inductive.ml33940logplain
-rw-r--r--inductive.mli2986logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4359logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml5484logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--print.ml4757logplain
-rw-r--r--reduction.ml15791logplain
-rw-r--r--reduction.mli1842logplain
-rw-r--r--safe_typing.ml3077logplain
-rw-r--r--safe_typing.mli842logplain
-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.ml3656logplain
-rw-r--r--type_errors.mli3445logplain
-rw-r--r--typeops.ml11711logplain
-rw-r--r--typeops.mli891logplain
-rw-r--r--validate.ml4846logplain
-rw-r--r--values.ml8854logplain
-rw-r--r--votour.ml6262logplain