aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--Makefile2059logplain
-rw-r--r--check.ml15376logplain
-rw-r--r--check.mllib493logplain
-rw-r--r--check_stat.ml1898logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml13704logplain
-rw-r--r--cic.mli14986logplain
-rw-r--r--closure.ml31143logplain
-rw-r--r--closure.mli5848logplain
-rw-r--r--declarations.ml19362logplain
-rw-r--r--declarations.mli1599logplain
-rw-r--r--environ.ml6789logplain
-rw-r--r--environ.mli2314logplain
-rw-r--r--include4778logplain
-rw-r--r--indtypes.ml20818logplain
-rw-r--r--indtypes.mli1314logplain
-rw-r--r--inductive.ml45135logplain
-rw-r--r--inductive.mli2913logplain
-rw-r--r--main.ml26logplain
-rw-r--r--mod_checking.ml4666logplain
-rw-r--r--mod_checking.mli605logplain
-rw-r--r--modops.ml5611logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--print.ml5065logplain
-rw-r--r--reduction.ml18487logplain
-rw-r--r--reduction.mli1903logplain
-rw-r--r--safe_typing.ml3077logplain
-rw-r--r--safe_typing.mli842logplain
-rw-r--r--subtyping.ml15285logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml14158logplain
-rw-r--r--term.mli2461logplain
-rw-r--r--type_errors.ml3841logplain
-rw-r--r--type_errors.mli3604logplain
-rw-r--r--typeops.ml12656logplain
-rw-r--r--typeops.mli883logplain
-rw-r--r--univ.ml38291logplain
-rw-r--r--univ.mli7034logplain
-rw-r--r--validate.ml4846logplain
-rw-r--r--values.ml9547logplain
-rw-r--r--votour.ml6262logplain