aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml14866logplain
-rw-r--r--check.mllib444logplain
-rw-r--r--check_stat.ml1898logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml12595logplain
-rw-r--r--cic.mli13415logplain
-rw-r--r--closure.ml27580logplain
-rw-r--r--closure.mli5558logplain
-rw-r--r--declarations.ml18218logplain
-rw-r--r--declarations.mli1599logplain
-rw-r--r--environ.ml5617logplain
-rw-r--r--environ.mli2050logplain
-rw-r--r--include4778logplain
-rw-r--r--indtypes.ml20641logplain
-rw-r--r--indtypes.mli1314logplain
-rw-r--r--inductive.ml33892logplain
-rw-r--r--inductive.mli2976logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4481logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml5484logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--reduction.ml15783logplain
-rw-r--r--reduction.mli1842logplain
-rw-r--r--safe_typing.ml2976logplain
-rw-r--r--safe_typing.mli794logplain
-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.ml11603logplain
-rw-r--r--typeops.mli886logplain
-rw-r--r--validate.ml4846logplain
-rw-r--r--values.ml8617logplain
-rw-r--r--votour.ml6262logplain