summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--ctype.ml9015logplain
-rw-r--r--ctype.mli2596logplain
-rw-r--r--env.ml16341logplain
-rw-r--r--env.mli2385logplain
-rw-r--r--ident.ml3958logplain
-rw-r--r--ident.mli1245logplain
-rw-r--r--includecore.ml1640logplain
-rw-r--r--includecore.mli346logplain
-rw-r--r--includemod.ml8747logplain
-rw-r--r--includemod.mli668logplain
-rw-r--r--mtype.ml4839logplain
-rw-r--r--mtype.mli655logplain
-rw-r--r--parmatch.ml8276logplain
-rw-r--r--parmatch.mli199logplain
-rw-r--r--path.ml377logplain
-rw-r--r--path.mli155logplain
-rw-r--r--predef.ml3694logplain
-rw-r--r--predef.mli1005logplain
-rw-r--r--printtyp.ml5916logplain
-rw-r--r--printtyp.mli590logplain
-rw-r--r--subst.ml2992logplain
-rw-r--r--subst.mli622logplain
-rw-r--r--typecore.ml21265logplain
-rw-r--r--typecore.mli981logplain
-rw-r--r--typedecl.ml3721logplain
-rw-r--r--typedecl.mli513logplain
-rw-r--r--typedtree.ml5866logplain
-rw-r--r--typedtree.mli5141logplain
-rw-r--r--typemod.ml11479logplain
-rw-r--r--typemod.mli625logplain
-rw-r--r--typetexp.ml2549logplain
-rw-r--r--typetexp.mli574logplain