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.ml157362logplain
-rw-r--r--ctype.mli13818logplain
-rw-r--r--datarepr.ml8397logplain
-rw-r--r--datarepr.mli1919logplain
-rw-r--r--env.ml75980logplain
-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.ml23664logplain
-rw-r--r--oprint.mli1633logplain
-rw-r--r--outcometree.mli5243logplain
-rw-r--r--parmatch.ml74661logplain
-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.ml28837logplain
-rw-r--r--printtyped.mli1307logplain
-rw-r--r--stypes.ml6215logplain
-rw-r--r--stypes.mli1607logplain
-rw-r--r--subst.ml14868logplain
-rw-r--r--subst.mli2864logplain
-rw-r--r--tast_mapper.ml23176logplain
-rw-r--r--tast_mapper.mli3534logplain
-rw-r--r--typeclass.ml69610logplain
-rw-r--r--typeclass.mli4436logplain
-rw-r--r--typecore.ml170606logplain
-rw-r--r--typecore.mli6564logplain
-rw-r--r--typedecl.ml78172logplain
-rw-r--r--typedecl.mli4247logplain
-rw-r--r--typedtree.ml18474logplain
-rw-r--r--typedtree.mli20424logplain
-rw-r--r--typedtreeIter.ml24069logplain
-rw-r--r--typedtreeIter.mli4625logplain
-rw-r--r--typedtreeMap.ml28588logplain
-rw-r--r--typedtreeMap.mli4731logplain
-rw-r--r--typemod.ml70550logplain
-rw-r--r--typemod.mli3634logplain
-rw-r--r--types.ml11666logplain
-rw-r--r--types.mli17453logplain
-rw-r--r--typetexp.ml36082logplain
-rw-r--r--typetexp.mli4914logplain
-rw-r--r--untypeast.ml31332logplain
-rw-r--r--untypeast.mli4409logplain