summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1046logplain
-rw-r--r--btype.ml17197logplain
-rw-r--r--btype.mli6730logplain
-rw-r--r--ctype.ml140817logplain
-rw-r--r--ctype.mli12219logplain
-rw-r--r--datarepr.ml4940logplain
-rw-r--r--datarepr.mli1536logplain
-rw-r--r--env.ml40553logplain
-rw-r--r--env.mli6729logplain
-rw-r--r--ident.ml5146logplain
-rw-r--r--ident.mli2175logplain
-rw-r--r--includeclass.ml4202logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml10875logplain
-rw-r--r--includecore.mli1687logplain
-rw-r--r--includemod.ml17841logplain
-rw-r--r--includemod.mli2212logplain
-rw-r--r--mtype.ml7881logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml17102logplain
-rw-r--r--oprint.mli1310logplain
-rw-r--r--outcometree.mli4072logplain
-rw-r--r--parmatch.ml61208logplain
-rw-r--r--parmatch.mli2637logplain
-rw-r--r--path.ml1987logplain
-rw-r--r--path.mli1189logplain
-rw-r--r--predef.ml8824logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2731logplain
-rw-r--r--primitive.mli1423logplain
-rw-r--r--printtyp.ml37160logplain
-rw-r--r--printtyp.mli3395logplain
-rw-r--r--stypes.ml4893logplain
-rw-r--r--stypes.mli1348logplain
-rw-r--r--subst.ml11315logplain
-rw-r--r--subst.mli2416logplain
-rw-r--r--typeclass.ml57068logplain
-rw-r--r--typeclass.mli3163logplain
-rw-r--r--typecore.ml123984logplain
-rw-r--r--typecore.mli5362logplain
-rw-r--r--typedecl.ml40196logplain
-rw-r--r--typedecl.mli3132logplain
-rw-r--r--typedtree.ml8006logplain
-rw-r--r--typedtree.mli6289logplain
-rw-r--r--typemod.ml49664logplain
-rw-r--r--typemod.mli2362logplain
-rw-r--r--types.ml7823logplain
-rw-r--r--types.mli7786logplain
-rw-r--r--typetexp.ml25250logplain
-rw-r--r--typetexp.mli3922logplain