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.mllib556logplain
-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.mli15940logplain
-rw-r--r--closure.ml27192logplain
-rw-r--r--closure.mli5705logplain
-rw-r--r--declarations.ml19364logplain
-rw-r--r--declarations.mli1684logplain
-rw-r--r--environ.ml7716logplain
-rw-r--r--environ.mli2525logplain
-rw-r--r--include4940logplain
-rw-r--r--indtypes.ml24640logplain
-rw-r--r--indtypes.mli1438logplain
-rw-r--r--inductive.ml43708logplain
-rw-r--r--inductive.mli3104logplain
-rw-r--r--main.ml26logplain
-rw-r--r--main.mli808logplain
-rw-r--r--mod_checking.ml4298logplain
-rw-r--r--mod_checking.mli753logplain
-rw-r--r--modops.ml5238logplain
-rw-r--r--modops.mli1655logplain
-rw-r--r--print.ml3948logplain
-rw-r--r--print.mli745logplain
-rw-r--r--reduction.ml22299logplain
-rw-r--r--reduction.mli2032logplain
-rw-r--r--safe_typing.ml3521logplain
-rw-r--r--safe_typing.mli994logplain
-rw-r--r--subtyping.ml12833logplain
-rw-r--r--subtyping.mli875logplain
-rw-r--r--term.ml14504logplain
-rw-r--r--term.mli2545logplain
-rw-r--r--type_errors.ml3997logplain
-rw-r--r--type_errors.mli3764logplain
-rw-r--r--typeops.ml11936logplain
-rw-r--r--typeops.mli972logplain
-rw-r--r--univ.ml31841logplain
-rw-r--r--univ.mli8938logplain
-rw-r--r--validate.ml5232logplain
-rw-r--r--validate.mli726logplain
-rw-r--r--values.ml10991logplain
-rw-r--r--values.mli1013logplain
-rw-r--r--votour.ml11627logplain
-rw-r--r--votour.mli808logplain