summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--HACKING.adoc2687logplain
-rw-r--r--annot.mli1298logplain
-rw-r--r--btype.ml23261logplain
-rw-r--r--btype.mli9023logplain
-rw-r--r--cmi_format.ml3677logplain
-rw-r--r--cmi_format.mli1883logplain
-rw-r--r--cmt_format.ml6702logplain
-rw-r--r--cmt_format.mli4291logplain
-rw-r--r--ctype.ml157367logplain
-rw-r--r--ctype.mli13817logplain
-rw-r--r--datarepr.ml8397logplain
-rw-r--r--datarepr.mli1919logplain
-rw-r--r--env.ml74448logplain
-rw-r--r--env.mli12614logplain
-rw-r--r--envaux.ml3875logplain
-rw-r--r--envaux.mli1561logplain
-rw-r--r--ident.ml6935logplain
-rw-r--r--ident.mli2857logplain
-rw-r--r--includeclass.ml4713logplain
-rw-r--r--includeclass.mli1556logplain
-rw-r--r--includecore.ml14781logplain
-rw-r--r--includecore.mli2101logplain
-rw-r--r--includemod.ml24880logplain
-rw-r--r--includemod.mli2770logplain
-rw-r--r--mtype.ml14259logplain
-rw-r--r--mtype.mli2577logplain
-rw-r--r--oprint.ml23567logplain
-rw-r--r--oprint.mli1633logplain
-rw-r--r--outcometree.mli5243logplain
-rw-r--r--parmatch.ml74654logplain
-rw-r--r--parmatch.mli3308logplain
-rw-r--r--path.ml3440logplain
-rw-r--r--path.mli1673logplain
-rw-r--r--predef.ml9779logplain
-rw-r--r--predef.mli2888logplain
-rw-r--r--primitive.ml7709logplain
-rw-r--r--primitive.mli2561logplain
-rw-r--r--printtyp.ml52596logplain
-rw-r--r--printtyp.mli4398logplain
-rw-r--r--printtyped.ml28717logplain
-rw-r--r--printtyped.mli1307logplain
-rw-r--r--stypes.ml6215logplain
-rw-r--r--stypes.mli1607logplain
-rw-r--r--subst.ml14867logplain
-rw-r--r--subst.mli2860logplain
-rw-r--r--tast_mapper.ml22977logplain
-rw-r--r--tast_mapper.mli3476logplain
-rw-r--r--typeclass.ml69610logplain
-rw-r--r--typeclass.mli4436logplain
-rw-r--r--typecore.ml170606logplain
-rw-r--r--typecore.mli6564logplain
-rw-r--r--typedecl.ml78164logplain
-rw-r--r--typedecl.mli4247logplain
-rw-r--r--typedtree.ml18395logplain
-rw-r--r--typedtree.mli20344logplain
-rw-r--r--typedtreeIter.ml23966logplain
-rw-r--r--typedtreeIter.mli4625logplain
-rw-r--r--typedtreeMap.ml28421logplain
-rw-r--r--typedtreeMap.mli4731logplain
-rw-r--r--typemod.ml70549logplain
-rw-r--r--typemod.mli3634logplain
-rw-r--r--types.ml11667logplain
-rw-r--r--types.mli17450logplain
-rw-r--r--typetexp.ml34047logplain
-rw-r--r--typetexp.mli4830logplain
-rw-r--r--untypeast.ml31093logplain
-rw-r--r--untypeast.mli4343logplain