summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1034logstatsplain
-rw-r--r--btype.ml17152logstatsplain
-rw-r--r--btype.mli6659logstatsplain
-rw-r--r--cmi_format.ml3173logstatsplain
-rw-r--r--cmi_format.mli1554logstatsplain
-rw-r--r--cmt_format.ml7803logstatsplain
-rw-r--r--cmt_format.mli3867logstatsplain
-rw-r--r--ctype.ml145750logstatsplain
-rw-r--r--ctype.mli12554logstatsplain
-rw-r--r--datarepr.ml5042logstatsplain
-rw-r--r--datarepr.mli1524logstatsplain
-rw-r--r--env.ml52044logstatsplain
-rw-r--r--env.mli8849logstatsplain
-rw-r--r--envaux.ml3019logstatsplain
-rw-r--r--envaux.mli1294logstatsplain
-rw-r--r--ident.ml5879logstatsplain
-rw-r--r--ident.mli2393logstatsplain
-rw-r--r--includeclass.ml4269logstatsplain
-rw-r--r--includeclass.mli1296logstatsplain
-rw-r--r--includecore.ml11113logstatsplain
-rw-r--r--includecore.mli1719logstatsplain
-rw-r--r--includemod.ml18030logstatsplain
-rw-r--r--includemod.mli2216logstatsplain
-rw-r--r--mtype.ml7811logstatsplain
-rw-r--r--mtype.mli2045logstatsplain
-rw-r--r--oprint.ml17130logstatsplain
-rw-r--r--oprint.mli1298logstatsplain
-rw-r--r--outcometree.mli3968logstatsplain
-rw-r--r--parmatch.ml64538logstatsplain
-rw-r--r--parmatch.mli2765logstatsplain
-rw-r--r--path.ml1975logstatsplain
-rw-r--r--path.mli1177logstatsplain
-rw-r--r--predef.ml8080logstatsplain
-rw-r--r--predef.mli2222logstatsplain
-rw-r--r--primitive.ml2719logstatsplain
-rw-r--r--primitive.mli1411logstatsplain
-rw-r--r--printtyp.ml47091logstatsplain
-rw-r--r--printtyp.mli3902logstatsplain
-rw-r--r--printtyped.ml25111logstatsplain
-rw-r--r--printtyped.mli1039logstatsplain
-rw-r--r--stypes.ml5792logstatsplain
-rw-r--r--stypes.mli1343logstatsplain
-rw-r--r--subst.ml11504logstatsplain
-rw-r--r--subst.mli2412logstatsplain
-rw-r--r--typeclass.ml62522logstatsplain
-rw-r--r--typeclass.mli4016logstatsplain
-rw-r--r--typecore.ml136367logstatsplain
-rw-r--r--typecore.mli5527logstatsplain
-rw-r--r--typedecl.ml46130logstatsplain
-rw-r--r--typedecl.mli3311logstatsplain
-rw-r--r--typedtree.ml15215logstatsplain
-rw-r--r--typedtree.mli13219logstatsplain
-rw-r--r--typedtreeIter.ml22489logstatsplain
-rw-r--r--typedtreeIter.mli4333logstatsplain
-rw-r--r--typedtreeMap.ml26895logstatsplain
-rw-r--r--typedtreeMap.mli4413logstatsplain
-rw-r--r--typemod.ml58448logstatsplain
-rw-r--r--typemod.mli2671logstatsplain
-rw-r--r--types.ml8599logstatsplain
-rw-r--r--types.mli8521logstatsplain
-rw-r--r--typetexp.ml30521logstatsplain
-rw-r--r--typetexp.mli4498logstatsplain