summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--ctype.ml44495logplain
-rw-r--r--ctype.mli5813logplain
-rw-r--r--datarepr.ml3094logplain
-rw-r--r--datarepr.mli1197logplain
-rw-r--r--env.ml21198logplain
-rw-r--r--env.mli3549logplain
-rw-r--r--ident.ml4955logplain
-rw-r--r--ident.mli2137logplain
-rw-r--r--includecore.ml3743logplain
-rw-r--r--includecore.mli1208logplain
-rw-r--r--includemod.ml11754logplain
-rw-r--r--includemod.mli1720logplain
-rw-r--r--mtype.ml5634logplain
-rw-r--r--mtype.mli1404logplain
-rw-r--r--parmatch.ml9065logplain
-rw-r--r--parmatch.mli952logplain
-rw-r--r--path.ml1437logplain
-rw-r--r--path.mli955logplain
-rw-r--r--predef.ml4944logplain
-rw-r--r--predef.mli1754logplain
-rw-r--r--primitive.ml2595logplain
-rw-r--r--primitive.mli1272logplain
-rw-r--r--printtyp.ml15487logplain
-rw-r--r--printtyp.mli1649logplain
-rw-r--r--subst.ml7275logplain
-rw-r--r--subst.mli1416logplain
-rw-r--r--typeclass.ml36442logplain
-rw-r--r--typeclass.mli2163logplain
-rw-r--r--typecore.ml30617logplain
-rw-r--r--typecore.mli2509logplain
-rw-r--r--typedecl.ml8161logplain
-rw-r--r--typedecl.mli1570logplain
-rw-r--r--typedtree.ml4976logplain
-rw-r--r--typedtree.mli4231logplain
-rw-r--r--typemod.ml18227logplain
-rw-r--r--typemod.mli1651logplain
-rw-r--r--types.ml4370logplain
-rw-r--r--types.mli4289logplain
-rw-r--r--typetexp.ml8152logplain
-rw-r--r--typetexp.mli1618logplain