aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
ModeNameSize
-rw-r--r--.depend3051logplain
-rw-r--r--analyze.ml10673logplain
-rw-r--r--analyze.mli1232logplain
-rw-r--r--check.ml15745logplain
-rw-r--r--check.mli1089logplain
-rw-r--r--check.mllib563logplain
-rw-r--r--check_stat.ml2100logplain
-rw-r--r--check_stat.mli759logplain
-rw-r--r--checker.ml14209logplain
-rw-r--r--checker.mli701logplain
-rw-r--r--cic.mli16279logplain
-rw-r--r--closure.ml27149logplain
-rw-r--r--closure.mli5705logplain
-rw-r--r--declarations.ml19001logplain
-rw-r--r--declarations.mli1684logplain
-rw-r--r--environ.ml7427logplain
-rw-r--r--environ.mli2523logplain
-rw-r--r--include4940logplain
-rw-r--r--indtypes.ml24656logplain
-rw-r--r--indtypes.mli1438logplain
-rw-r--r--inductive.ml43743logplain
-rw-r--r--inductive.mli3104logplain
-rw-r--r--main.ml26logplain
-rw-r--r--main.mli808logplain
-rw-r--r--mod_checking.ml5026logplain
-rw-r--r--mod_checking.mli753logplain
-rw-r--r--modops.ml5238logplain
-rw-r--r--modops.mli1655logplain
-rw-r--r--print.ml3960logplain
-rw-r--r--print.mli745logplain
-rw-r--r--reduction.ml22470logplain
-rw-r--r--reduction.mli2032logplain
-rw-r--r--safe_typing.ml3521logplain
-rw-r--r--safe_typing.mli994logplain
-rw-r--r--subtyping.ml16469logplain
-rw-r--r--subtyping.mli875logplain
-rw-r--r--term.ml14581logplain
-rw-r--r--term.mli2545logplain
-rw-r--r--type_errors.ml3997logplain
-rw-r--r--type_errors.mli3764logplain
-rw-r--r--typeops.ml11975logplain
-rw-r--r--typeops.mli972logplain
-rw-r--r--univ.ml33232logplain
-rw-r--r--univ.mli8986logplain
-rw-r--r--validate.ml5232logplain
-rw-r--r--validate.mli726logplain
-rw-r--r--values.ml11043logplain
-rw-r--r--values.mli1013logplain
-rw-r--r--votour.ml11627logplain
-rw-r--r--votour.mli808logplain