aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping
ModeNameSize
-rw-r--r--cases.ml70981logplain
-rw-r--r--cases.mli2461logplain
-rw-r--r--cbv.ml13413logplain
-rw-r--r--cbv.mli2006logplain
-rw-r--r--classops.ml11669logplain
-rw-r--r--classops.mli3193logplain
-rw-r--r--clenv.ml16994logplain
-rw-r--r--clenv.mli5536logplain
-rw-r--r--coercion.ml9683logplain
-rw-r--r--coercion.mli2755logplain
-rw-r--r--detyping.ml24863logplain
-rw-r--r--detyping.mli2302logplain
-rw-r--r--doc.tex215logplain
-rw-r--r--evarconv.ml19650logplain
-rw-r--r--evarconv.mli1356logplain
-rw-r--r--evarutil.ml46985logplain
-rw-r--r--evarutil.mli6913logplain
-rw-r--r--evd.ml22327logplain
-rw-r--r--evd.mli8960logplain
-rw-r--r--indrec.ml21730logplain
-rw-r--r--indrec.mli2252logplain
-rw-r--r--inductiveops.ml14255logplain
-rw-r--r--inductiveops.mli4859logplain
-rw-r--r--matching.ml10264logplain
-rw-r--r--matching.mli1996logplain
-rw-r--r--pattern.ml11124logplain
-rw-r--r--pattern.mli2687logplain
-rw-r--r--pretype_errors.ml6551logplain
-rw-r--r--pretype_errors.mli3898logplain
-rw-r--r--pretyping.ml26558logplain
-rw-r--r--pretyping.mli3769logplain
-rw-r--r--rawterm.ml12564logplain
-rw-r--r--rawterm.mli5654logplain
-rw-r--r--recordops.ml8888logplain
-rwxr-xr-xrecordops.mli1975logplain
-rw-r--r--reductionops.ml32228logplain
-rw-r--r--reductionops.mli8977logplain
-rw-r--r--retyping.ml6213logplain
-rw-r--r--retyping.mli1497logplain
-rw-r--r--tacred.ml32172logplain
-rw-r--r--tacred.mli3043logplain
-rw-r--r--termops.ml36441logplain
-rw-r--r--termops.mli9939logplain
-rw-r--r--typeclasses.ml13097logplain
-rw-r--r--typeclasses.mli3867logplain
-rw-r--r--typeclasses_errors.ml1749logplain
-rw-r--r--typeclasses_errors.mli1436logplain
-rw-r--r--typing.ml6058logplain
-rw-r--r--typing.mli1327logplain
-rw-r--r--unification.ml27186logplain
-rw-r--r--unification.mli1857logplain
-rw-r--r--vnorm.ml10259logplain
-rw-r--r--vnorm.mli662logplain