summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1034logplain
-rw-r--r--btype.ml17152logplain
-rw-r--r--btype.mli6659logplain
-rw-r--r--cmi_format.ml3173logplain
-rw-r--r--cmi_format.mli1554logplain
-rw-r--r--cmt_format.ml7793logplain
-rw-r--r--cmt_format.mli3867logplain
-rw-r--r--ctype.ml145500logplain
-rw-r--r--ctype.mli12554logplain
-rw-r--r--datarepr.ml5042logplain
-rw-r--r--datarepr.mli1524logplain
-rw-r--r--env.ml51082logplain
-rw-r--r--env.mli8823logplain
-rw-r--r--envaux.ml3001logplain
-rw-r--r--envaux.mli1294logplain
-rw-r--r--ident.ml5879logplain
-rw-r--r--ident.mli2393logplain
-rw-r--r--includeclass.ml4269logplain
-rw-r--r--includeclass.mli1296logplain
-rw-r--r--includecore.ml10769logplain
-rw-r--r--includecore.mli1719logplain
-rw-r--r--includemod.ml18030logplain
-rw-r--r--includemod.mli2216logplain
-rw-r--r--mtype.ml7811logplain
-rw-r--r--mtype.mli2045logplain
-rw-r--r--oprint.ml17130logplain
-rw-r--r--oprint.mli1298logplain
-rw-r--r--outcometree.mli3968logplain
-rw-r--r--parmatch.ml64538logplain
-rw-r--r--parmatch.mli2765logplain
-rw-r--r--path.ml1975logplain
-rw-r--r--path.mli1177logplain
-rw-r--r--predef.ml8116logplain
-rw-r--r--predef.mli2222logplain
-rw-r--r--primitive.ml2719logplain
-rw-r--r--primitive.mli1411logplain
-rw-r--r--printtyp.ml46152logplain
-rw-r--r--printtyp.mli3902logplain
-rw-r--r--printtyped.ml25013logplain
-rw-r--r--printtyped.mli1039logplain
-rw-r--r--stypes.ml5792logplain
-rw-r--r--stypes.mli1343logplain
-rw-r--r--subst.ml11504logplain
-rw-r--r--subst.mli2412logplain
-rw-r--r--typeclass.ml62200logplain
-rw-r--r--typeclass.mli4016logplain
-rw-r--r--typecore.ml136325logplain
-rw-r--r--typecore.mli5510logplain
-rw-r--r--typedecl.ml45117logplain
-rw-r--r--typedecl.mli3227logplain
-rw-r--r--typedtree.ml15167logplain
-rw-r--r--typedtree.mli13171logplain
-rw-r--r--typedtreeIter.ml22486logplain
-rw-r--r--typedtreeIter.mli4333logplain
-rw-r--r--typedtreeMap.ml26895logplain
-rw-r--r--typedtreeMap.mli4413logplain
-rw-r--r--typemod.ml58181logplain
-rw-r--r--typemod.mli2671logplain
-rw-r--r--types.ml7844logplain
-rw-r--r--types.mli7802logplain
-rw-r--r--typetexp.ml30352logplain
-rw-r--r--typetexp.mli4498logplain