aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping
ModeNameSize
-rw-r--r--cases.ml54056logplain
-rw-r--r--cases.mli1581logplain
-rw-r--r--cbv.ml15421logplain
-rw-r--r--cbv.mli2329logplain
-rwxr-xr-xclassops.ml9846logplain
-rw-r--r--classops.mli3794logplain
-rw-r--r--coercion.ml7105logplain
-rw-r--r--coercion.mli1878logplain
-rw-r--r--detyping.ml14770logplain
-rw-r--r--detyping.mli1173logplain
-rw-r--r--doc.tex215logplain
-rw-r--r--evarconv.ml11370logplain
-rw-r--r--evarconv.mli962logplain
-rw-r--r--evarutil.ml16132logplain
-rw-r--r--evarutil.mli2012logplain
-rw-r--r--multcase.mli901logplain
-rw-r--r--pattern.ml12240logplain
-rw-r--r--pattern.mli3338logplain
-rw-r--r--pretype_errors.ml2831logplain
-rw-r--r--pretype_errors.mli2174logplain
-rw-r--r--pretyping.ml20532logplain
-rw-r--r--pretyping.mli2620logplain
-rw-r--r--rawterm.ml3612logplain
-rw-r--r--rawterm.mli2529logplain
-rwxr-xr-xrecordops.ml3366logplain
-rwxr-xr-xrecordops.mli1787logplain
-rw-r--r--retyping.ml4321logplain
-rw-r--r--retyping.mli1360logplain
-rw-r--r--syntax_def.ml1971logplain
-rw-r--r--syntax_def.mli796logplain
-rw-r--r--tacred.ml25323logplain
-rw-r--r--tacred.mli2086logplain
-rw-r--r--typing.ml5557logplain
-rw-r--r--typing.mli924logplain