summaryrefslogtreecommitdiff
path: root/pretyping
ModeNameSize
-rw-r--r--cases.ml66157logplain
-rw-r--r--cases.mli2506logplain
-rw-r--r--cbv.ml14401logplain
-rw-r--r--cbv.mli2143logplain
-rw-r--r--classops.ml13246logplain
-rw-r--r--classops.mli3454logplain
-rw-r--r--clenv.ml17377logplain
-rw-r--r--clenv.mli5749logplain
-rw-r--r--coercion.ml9809logplain
-rw-r--r--coercion.mli2960logplain
-rw-r--r--detyping.ml25024logplain
-rw-r--r--detyping.mli2352logplain
-rw-r--r--doc.tex215logplain
-rw-r--r--evarconv.ml20678logplain
-rw-r--r--evarconv.mli1605logplain
-rw-r--r--evarutil.ml55951logplain
-rw-r--r--evarutil.mli7638logplain
-rw-r--r--evd.ml27051logplain
-rw-r--r--evd.mli10319logplain
-rw-r--r--indrec.ml19622logplain
-rw-r--r--indrec.mli2447logplain
-rw-r--r--inductiveops.ml16760logplain
-rw-r--r--inductiveops.mli5109logplain
-rw-r--r--matching.ml12709logplain
-rw-r--r--matching.mli3670logplain
-rw-r--r--namegen.ml11022logplain
-rw-r--r--namegen.mli3393logplain
-rw-r--r--pattern.ml13197logplain
-rw-r--r--pattern.mli2938logplain
-rw-r--r--pretype_errors.ml7292logplain
-rw-r--r--pretype_errors.mli4214logplain
-rw-r--r--pretyping.ml27684logplain
-rw-r--r--pretyping.mli3872logplain
-rw-r--r--pretyping.mllib257logplain
-rw-r--r--rawterm.ml14353logplain
-rw-r--r--rawterm.mli5816logplain
-rw-r--r--recordops.ml12380logplain
-rw-r--r--recordops.mli3001logplain
-rw-r--r--reductionops.ml32783logplain
-rw-r--r--reductionops.mli8974logplain
-rw-r--r--retyping.ml7096logplain
-rw-r--r--retyping.mli1574logplain
-rw-r--r--tacred.ml34005logplain
-rw-r--r--tacred.mli3373logplain
-rw-r--r--term_dnet.ml13154logplain
-rw-r--r--term_dnet.mli3458logplain
-rw-r--r--termops.ml33086logplain
-rw-r--r--termops.mli9911logplain
-rw-r--r--typeclasses.ml11932logplain
-rw-r--r--typeclasses.mli3602logplain
-rw-r--r--typeclasses_errors.ml2085logplain
-rw-r--r--typeclasses_errors.mli1577logplain
-rw-r--r--typing.ml7321logplain
-rw-r--r--typing.mli1249logplain
-rw-r--r--unification.ml37084logplain
-rw-r--r--unification.mli2080logplain
-rw-r--r--vnorm.ml10497logplain
-rw-r--r--vnorm.mli662logplain