summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--ctype.ml9011logplain
-rw-r--r--ctype.mli2596logplain
-rw-r--r--datarepr.ml2268logplain
-rw-r--r--datarepr.mli448logplain
-rw-r--r--env.ml15291logplain
-rw-r--r--env.mli2396logplain
-rw-r--r--ident.ml4006logplain
-rw-r--r--ident.mli1274logplain
-rw-r--r--includecore.ml1594logplain
-rw-r--r--includecore.mli346logplain
-rw-r--r--includemod.ml8791logplain
-rw-r--r--includemod.mli668logplain
-rw-r--r--mtype.ml4846logplain
-rw-r--r--mtype.mli655logplain
-rw-r--r--parmatch.ml8299logplain
-rw-r--r--parmatch.mli199logplain
-rw-r--r--path.ml377logplain
-rw-r--r--path.mli155logplain
-rw-r--r--predef.ml3715logplain
-rw-r--r--predef.mli1005logplain
-rw-r--r--primitive.ml1842logplain
-rw-r--r--primitive.mli519logplain
-rw-r--r--printtyp.ml5772logplain
-rw-r--r--printtyp.mli590logplain
-rw-r--r--subst.ml2982logplain
-rw-r--r--subst.mli622logplain
-rw-r--r--typecore.ml21273logplain
-rw-r--r--typecore.mli989logplain
-rw-r--r--typedecl.ml4383logplain
-rw-r--r--typedecl.mli659logplain
-rw-r--r--typedtree.ml6223logplain
-rw-r--r--typedtree.mli5488logplain
-rw-r--r--typemod.ml11091logplain
-rw-r--r--typemod.mli625logplain
-rw-r--r--typetexp.ml2549logplain
-rw-r--r--typetexp.mli574logplain