summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1034logplain
-rw-r--r--btype.ml21950logplain
-rw-r--r--btype.mli8453logplain
-rw-r--r--cmi_format.ml3355logplain
-rw-r--r--cmi_format.mli1561logplain
-rw-r--r--cmt_format.ml6706logplain
-rw-r--r--cmt_format.mli4079logplain
-rw-r--r--ctype.ml152867logplain
-rw-r--r--ctype.mli13438logplain
-rw-r--r--datarepr.ml7472logplain
-rw-r--r--datarepr.mli1346logplain
-rw-r--r--env.ml62809logplain
-rw-r--r--env.mli10240logplain
-rw-r--r--envaux.ml3510logplain
-rw-r--r--envaux.mli1294logplain
-rw-r--r--ident.ml6101logplain
-rw-r--r--ident.mli2467logplain
-rw-r--r--includeclass.ml4271logplain
-rw-r--r--includeclass.mli1296logplain
-rw-r--r--includecore.ml12124logplain
-rw-r--r--includecore.mli1730logplain
-rw-r--r--includemod.ml22818logplain
-rw-r--r--includemod.mli2464logplain
-rw-r--r--mtype.ml13422logplain
-rw-r--r--mtype.mli2230logplain
-rw-r--r--oprint.ml22393logplain
-rw-r--r--oprint.mli1369logplain
-rw-r--r--outcometree.mli4842logplain
-rw-r--r--parmatch.ml64147logplain
-rw-r--r--parmatch.mli2978logplain
-rw-r--r--path.ml2515logplain
-rw-r--r--path.mli1352logplain
-rw-r--r--predef.ml8660logplain
-rw-r--r--predef.mli2251logplain
-rw-r--r--primitive.ml7089logplain
-rw-r--r--primitive.mli2253logplain
-rw-r--r--printtyp.ml49979logplain
-rw-r--r--printtyp.mli4134logplain
-rw-r--r--printtyped.ml27446logplain
-rw-r--r--printtyped.mli1043logplain
-rw-r--r--stypes.ml5948logplain
-rw-r--r--stypes.mli1343logplain
-rw-r--r--subst.ml14084logplain
-rw-r--r--subst.mli2596logplain
-rw-r--r--tast_mapper.ml21885logplain
-rw-r--r--tast_mapper.mli3212logplain
-rw-r--r--typeclass.ml67365logplain
-rw-r--r--typeclass.mli4102logplain
-rw-r--r--typecore.ml161783logplain
-rw-r--r--typecore.mli5991logplain
-rw-r--r--typedecl.ml64735logplain
-rw-r--r--typedecl.mli3708logplain
-rw-r--r--typedtree.ml17593logplain
-rw-r--r--typedtree.mli15395logplain
-rw-r--r--typedtreeIter.ml23321logplain
-rw-r--r--typedtreeIter.mli4394logplain
-rw-r--r--typedtreeMap.ml27617logplain
-rw-r--r--typedtreeMap.mli4467logplain
-rw-r--r--typemod.ml67912logplain
-rw-r--r--typemod.mli3133logplain
-rw-r--r--types.ml10369logplain
-rw-r--r--types.mli10290logplain
-rw-r--r--typetexp.ml37486logplain
-rw-r--r--typetexp.mli4952logplain
-rw-r--r--untypeast.ml29373logplain
-rw-r--r--untypeast.mli4056logplain