aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--analyze.ml10673logplain
-rw-r--r--analyze.mli1232logplain
-rw-r--r--check.ml15595logplain
-rw-r--r--check.mli939logplain
-rw-r--r--check.mllib563logplain
-rw-r--r--check_stat.ml1950logplain
-rw-r--r--check_stat.mli609logplain
-rw-r--r--checker.ml13921logplain
-rw-r--r--checker.mli551logplain
-rw-r--r--cic.mli16127logplain
-rw-r--r--closure.ml27250logplain
-rw-r--r--closure.mli5676logplain
-rw-r--r--declarations.ml18939logplain
-rw-r--r--declarations.mli1684logplain
-rw-r--r--environ.ml7427logplain
-rw-r--r--environ.mli2521logplain
-rw-r--r--include4940logplain
-rw-r--r--indtypes.ml24507logplain
-rw-r--r--indtypes.mli1288logplain
-rw-r--r--inductive.ml43593logplain
-rw-r--r--inductive.mli2954logplain
-rw-r--r--main.ml26logplain
-rw-r--r--main.mli658logplain
-rw-r--r--mod_checking.ml5026logplain
-rw-r--r--mod_checking.mli603logplain
-rw-r--r--modops.ml5088logplain
-rw-r--r--modops.mli1505logplain
-rw-r--r--print.ml5142logplain
-rw-r--r--print.mli575logplain
-rw-r--r--reduction.ml22054logplain
-rw-r--r--reduction.mli1882logplain
-rw-r--r--safe_typing.ml3371logplain
-rw-r--r--safe_typing.mli844logplain
-rw-r--r--subtyping.ml15831logplain
-rw-r--r--subtyping.mli725logplain
-rw-r--r--term.ml14418logplain
-rw-r--r--term.mli2545logplain
-rw-r--r--type_errors.ml3847logplain
-rw-r--r--type_errors.mli3614logplain
-rw-r--r--typeops.ml11825logplain
-rw-r--r--typeops.mli822logplain
-rw-r--r--univ.ml32973logplain
-rw-r--r--univ.mli8714logplain
-rw-r--r--validate.ml5082logplain
-rw-r--r--validate.mli576logplain
-rw-r--r--values.ml10893logplain
-rw-r--r--values.mli863logplain
-rw-r--r--votour.ml11477logplain
-rw-r--r--votour.mli658logplain