summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1034logstatsplain
-rw-r--r--btype.ml21923logstatsplain
-rw-r--r--btype.mli8425logstatsplain
-rw-r--r--cmi_format.ml3355logstatsplain
-rw-r--r--cmi_format.mli1561logstatsplain
-rw-r--r--cmt_format.ml9022logstatsplain
-rw-r--r--cmt_format.mli4079logstatsplain
-rw-r--r--ctype.ml153894logstatsplain
-rw-r--r--ctype.mli13069logstatsplain
-rw-r--r--datarepr.ml7197logstatsplain
-rw-r--r--datarepr.mli1346logstatsplain
-rw-r--r--env.ml60562logstatsplain
-rw-r--r--env.mli10031logstatsplain
-rw-r--r--envaux.ml3510logstatsplain
-rw-r--r--envaux.mli1294logstatsplain
-rw-r--r--ident.ml6124logstatsplain
-rw-r--r--ident.mli2467logstatsplain
-rw-r--r--includeclass.ml4271logstatsplain
-rw-r--r--includeclass.mli1296logstatsplain
-rw-r--r--includecore.ml12731logstatsplain
-rw-r--r--includecore.mli1730logstatsplain
-rw-r--r--includemod.ml22818logstatsplain
-rw-r--r--includemod.mli2464logstatsplain
-rw-r--r--mtype.ml13146logstatsplain
-rw-r--r--mtype.mli2230logstatsplain
-rw-r--r--oprint.ml21415logstatsplain
-rw-r--r--oprint.mli1369logstatsplain
-rw-r--r--outcometree.mli4629logstatsplain
-rw-r--r--parmatch.ml62974logstatsplain
-rw-r--r--parmatch.mli2711logstatsplain
-rw-r--r--path.ml2515logstatsplain
-rw-r--r--path.mli1352logstatsplain
-rw-r--r--predef.ml8578logstatsplain
-rw-r--r--predef.mli2251logstatsplain
-rw-r--r--primitive.ml2719logstatsplain
-rw-r--r--primitive.mli1411logstatsplain
-rw-r--r--printtyp.ml49297logstatsplain
-rw-r--r--printtyp.mli4080logstatsplain
-rw-r--r--printtyped.ml27688logstatsplain
-rw-r--r--printtyped.mli1043logstatsplain
-rw-r--r--stypes.ml5948logstatsplain
-rw-r--r--stypes.mli1343logstatsplain
-rw-r--r--subst.ml13744logstatsplain
-rw-r--r--subst.mli2482logstatsplain
-rw-r--r--typeclass.ml66476logstatsplain
-rw-r--r--typeclass.mli4098logstatsplain
-rw-r--r--typecore.ml154637logstatsplain
-rw-r--r--typecore.mli5739logstatsplain
-rw-r--r--typedecl.ml61062logstatsplain
-rw-r--r--typedecl.mli3556logstatsplain
-rw-r--r--typedtree.ml17529logstatsplain
-rw-r--r--typedtree.mli15316logstatsplain
-rw-r--r--typedtreeIter.ml22998logstatsplain
-rw-r--r--typedtreeIter.mli4315logstatsplain
-rw-r--r--typedtreeMap.ml27598logstatsplain
-rw-r--r--typedtreeMap.mli4455logstatsplain
-rw-r--r--typemod.ml66430logstatsplain
-rw-r--r--typemod.mli2930logstatsplain
-rw-r--r--types.ml10359logstatsplain
-rw-r--r--types.mli10280logstatsplain
-rw-r--r--typetexp.ml35721logstatsplain
-rw-r--r--typetexp.mli4787logstatsplain