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.ml157065logplain
-rw-r--r--ctype.mli13817logplain
-rw-r--r--datarepr.ml8397logplain
-rw-r--r--datarepr.mli1919logplain
-rw-r--r--env.ml69195logplain
-rw-r--r--env.mli12508logplain
-rw-r--r--envaux.ml4061logplain
-rw-r--r--envaux.mli1561logplain
-rw-r--r--ident.ml6904logplain
-rw-r--r--ident.mli2847logplain
-rw-r--r--includeclass.ml4528logplain
-rw-r--r--includeclass.mli1560logplain
-rw-r--r--includecore.ml13591logplain
-rw-r--r--includecore.mli2043logplain
-rw-r--r--includemod.ml24219logplain
-rw-r--r--includemod.mli2728logplain
-rw-r--r--mtype.ml14259logplain
-rw-r--r--mtype.mli2577logplain
-rw-r--r--oprint.ml22952logplain
-rw-r--r--oprint.mli1633logplain
-rw-r--r--outcometree.mli5140logplain
-rw-r--r--parmatch.ml74326logplain
-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.ml7819logplain
-rw-r--r--primitive.mli2561logplain
-rw-r--r--printtyp.ml50994logplain
-rw-r--r--printtyp.mli4398logplain
-rw-r--r--printtyped.ml28448logplain
-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.ml22755logplain
-rw-r--r--tast_mapper.mli3476logplain
-rw-r--r--typeclass.ml68831logplain
-rw-r--r--typeclass.mli4436logplain
-rw-r--r--typecore.ml170261logplain
-rw-r--r--typecore.mli6540logplain
-rw-r--r--typedecl.ml77590logplain
-rw-r--r--typedecl.mli4231logplain
-rw-r--r--typedtree.ml18238logplain
-rw-r--r--typedtree.mli20189logplain
-rw-r--r--typedtreeIter.ml23828logplain
-rw-r--r--typedtreeIter.mli4625logplain
-rw-r--r--typedtreeMap.ml28215logplain
-rw-r--r--typedtreeMap.mli4731logplain
-rw-r--r--typemod.ml70202logplain
-rw-r--r--typemod.mli3583logplain
-rw-r--r--types.ml11309logplain
-rw-r--r--types.mli17389logplain
-rw-r--r--typetexp.ml34052logplain
-rw-r--r--typetexp.mli4830logplain
-rw-r--r--untypeast.ml30906logplain
-rw-r--r--untypeast.mli4343logplain