summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1034logstatsplain
-rw-r--r--btype.ml21950logstatsplain
-rw-r--r--btype.mli8453logstatsplain
-rw-r--r--cmi_format.ml3355logstatsplain
-rw-r--r--cmi_format.mli1561logstatsplain
-rw-r--r--cmt_format.ml6823logstatsplain
-rw-r--r--cmt_format.mli4079logstatsplain
-rw-r--r--ctype.ml154464logstatsplain
-rw-r--r--ctype.mli13073logstatsplain
-rw-r--r--datarepr.ml7472logstatsplain
-rw-r--r--datarepr.mli1346logstatsplain
-rw-r--r--env.ml60859logstatsplain
-rw-r--r--env.mli10105logstatsplain
-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.ml13225logstatsplain
-rw-r--r--mtype.mli2230logstatsplain
-rw-r--r--oprint.ml21415logstatsplain
-rw-r--r--oprint.mli1369logstatsplain
-rw-r--r--outcometree.mli4629logstatsplain
-rw-r--r--parmatch.ml62988logstatsplain
-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.ml49795logstatsplain
-rw-r--r--printtyp.mli4130logstatsplain
-rw-r--r--printtyped.ml27869logstatsplain
-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--tast_mapper.ml21427logstatsplain
-rw-r--r--tast_mapper.mli3099logstatsplain
-rw-r--r--typeclass.ml66714logstatsplain
-rw-r--r--typeclass.mli4102logstatsplain
-rw-r--r--typecore.ml156100logstatsplain
-rw-r--r--typecore.mli5824logstatsplain
-rw-r--r--typedecl.ml61100logstatsplain
-rw-r--r--typedecl.mli3556logstatsplain
-rw-r--r--typedtree.ml17527logstatsplain
-rw-r--r--typedtree.mli15325logstatsplain
-rw-r--r--typedtreeIter.ml22995logstatsplain
-rw-r--r--typedtreeIter.mli4315logstatsplain
-rw-r--r--typedtreeMap.ml27570logstatsplain
-rw-r--r--typedtreeMap.mli4455logstatsplain
-rw-r--r--typemod.ml67294logstatsplain
-rw-r--r--typemod.mli2930logstatsplain
-rw-r--r--types.ml10367logstatsplain
-rw-r--r--types.mli10288logstatsplain
-rw-r--r--typetexp.ml36250logstatsplain
-rw-r--r--typetexp.mli4858logstatsplain