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.ml6823logplain
-rw-r--r--cmt_format.mli4079logplain
-rw-r--r--ctype.ml155059logplain
-rw-r--r--ctype.mli13217logplain
-rw-r--r--datarepr.ml7472logplain
-rw-r--r--datarepr.mli1346logplain
-rw-r--r--env.ml62021logplain
-rw-r--r--env.mli10236logplain
-rw-r--r--envaux.ml3510logplain
-rw-r--r--envaux.mli1294logplain
-rw-r--r--ident.ml6124logplain
-rw-r--r--ident.mli2467logplain
-rw-r--r--includeclass.ml4271logplain
-rw-r--r--includeclass.mli1296logplain
-rw-r--r--includecore.ml12772logplain
-rw-r--r--includecore.mli1730logplain
-rw-r--r--includemod.ml22818logplain
-rw-r--r--includemod.mli2464logplain
-rw-r--r--mtype.ml13225logplain
-rw-r--r--mtype.mli2230logplain
-rw-r--r--oprint.ml21496logplain
-rw-r--r--oprint.mli1369logplain
-rw-r--r--outcometree.mli4629logplain
-rw-r--r--parmatch.ml63306logplain
-rw-r--r--parmatch.mli2657logplain
-rw-r--r--path.ml2515logplain
-rw-r--r--path.mli1352logplain
-rw-r--r--predef.ml8578logplain
-rw-r--r--predef.mli2251logplain
-rw-r--r--primitive.ml2719logplain
-rw-r--r--primitive.mli1411logplain
-rw-r--r--printtyp.ml50236logplain
-rw-r--r--printtyp.mli4130logplain
-rw-r--r--printtyped.ml27919logplain
-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.ml21798logplain
-rw-r--r--tast_mapper.mli3212logplain
-rw-r--r--typeclass.ml67345logplain
-rw-r--r--typeclass.mli4102logplain
-rw-r--r--typecore.ml156918logplain
-rw-r--r--typecore.mli5941logplain
-rw-r--r--typedecl.ml61445logplain
-rw-r--r--typedecl.mli3577logplain
-rw-r--r--typedtree.ml17574logplain
-rw-r--r--typedtree.mli15372logplain
-rw-r--r--typedtreeIter.ml23354logplain
-rw-r--r--typedtreeIter.mli4418logplain
-rw-r--r--typedtreeMap.ml27590logplain
-rw-r--r--typedtreeMap.mli4455logplain
-rw-r--r--typemod.ml67749logplain
-rw-r--r--typemod.mli3099logplain
-rw-r--r--types.ml10396logplain
-rw-r--r--types.mli10317logplain
-rw-r--r--typetexp.ml36299logplain
-rw-r--r--typetexp.mli4858logplain
-rw-r--r--untypeast.ml29322logplain
-rw-r--r--untypeast.mli4056logplain