summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--ctype.ml39270logplain
-rw-r--r--ctype.mli5476logplain
-rw-r--r--datarepr.ml3098logplain
-rw-r--r--datarepr.mli1201logplain
-rw-r--r--env.ml21174logplain
-rw-r--r--env.mli3514logplain
-rw-r--r--ident.ml4861logplain
-rw-r--r--ident.mli2033logplain
-rw-r--r--includecore.ml4027logplain
-rw-r--r--includecore.mli1197logplain
-rw-r--r--includemod.ml11744logplain
-rw-r--r--includemod.mli1615logplain
-rw-r--r--mtype.ml5638logplain
-rw-r--r--mtype.mli1408logplain
-rw-r--r--parmatch.ml9055logplain
-rw-r--r--parmatch.mli952logplain
-rw-r--r--path.ml1265logplain
-rw-r--r--path.mli928logplain
-rw-r--r--predef.ml5338logplain
-rw-r--r--predef.mli1816logplain
-rw-r--r--primitive.ml2595logplain
-rw-r--r--primitive.mli1272logplain
-rw-r--r--printtyp.ml15459logplain
-rw-r--r--printtyp.mli1413logplain
-rw-r--r--subst.ml6719logplain
-rw-r--r--subst.mli1420logplain
-rw-r--r--typeclass.ml35969logplain
-rw-r--r--typeclass.mli2092logplain
-rw-r--r--typecore.ml29149logplain
-rw-r--r--typecore.mli2360logplain
-rw-r--r--typedecl.ml7855logplain
-rw-r--r--typedecl.mli1574logplain
-rw-r--r--typedtree.ml8366logplain
-rw-r--r--typedtree.mli7627logplain
-rw-r--r--typemod.ml16429logplain
-rw-r--r--typemod.mli1534logplain
-rw-r--r--typetexp.ml8108logplain
-rw-r--r--typetexp.mli1638logplain