summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1298logplain
-rw-r--r--btype.ml23158logplain
-rw-r--r--btype.mli8929logplain
-rw-r--r--cmi_format.ml3677logplain
-rw-r--r--cmi_format.mli1883logplain
-rw-r--r--cmt_format.ml7087logplain
-rw-r--r--cmt_format.mli4343logplain
-rw-r--r--ctype.ml155433logplain
-rw-r--r--ctype.mli13817logplain
-rw-r--r--datarepr.ml8415logplain
-rw-r--r--datarepr.mli1919logplain
-rw-r--r--env.ml69074logplain
-rw-r--r--env.mli11862logplain
-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.ml13490logplain
-rw-r--r--includecore.mli2043logplain
-rw-r--r--includemod.ml23284logplain
-rw-r--r--includemod.mli2728logplain
-rw-r--r--mtype.ml13548logplain
-rw-r--r--mtype.mli2494logplain
-rw-r--r--oprint.ml22986logplain
-rw-r--r--oprint.mli1633logplain
-rw-r--r--outcometree.mli5158logplain
-rw-r--r--parmatch.ml73444logplain
-rw-r--r--parmatch.mli3308logplain
-rw-r--r--path.ml3440logplain
-rw-r--r--path.mli1673logplain
-rw-r--r--predef.ml9788logplain
-rw-r--r--predef.mli2888logplain
-rw-r--r--primitive.ml7819logplain
-rw-r--r--primitive.mli2561logplain
-rw-r--r--printtyp.ml50664logplain
-rw-r--r--printtyp.mli4398logplain
-rw-r--r--printtyped.ml28411logplain
-rw-r--r--printtyped.mli1307logplain
-rw-r--r--stypes.ml6215logplain
-rw-r--r--stypes.mli1607logplain
-rw-r--r--subst.ml14795logplain
-rw-r--r--subst.mli2896logplain
-rw-r--r--tast_mapper.ml22689logplain
-rw-r--r--tast_mapper.mli3476logplain
-rw-r--r--typeclass.ml68818logplain
-rw-r--r--typeclass.mli4436logplain
-rw-r--r--typecore.ml169147logplain
-rw-r--r--typecore.mli6479logplain
-rw-r--r--typedecl.ml75407logplain
-rw-r--r--typedecl.mli4231logplain
-rw-r--r--typedtree.ml18182logplain
-rw-r--r--typedtree.mli20024logplain
-rw-r--r--typedtreeIter.ml23834logplain
-rw-r--r--typedtreeIter.mli4625logplain
-rw-r--r--typedtreeMap.ml28179logplain
-rw-r--r--typedtreeMap.mli4731logplain
-rw-r--r--typemod.ml70097logplain
-rw-r--r--typemod.mli3588logplain
-rw-r--r--types.ml10970logplain
-rw-r--r--types.mli16941logplain
-rw-r--r--typetexp.ml33997logplain
-rw-r--r--typetexp.mli4830logplain
-rw-r--r--untypeast.ml30569logplain
-rw-r--r--untypeast.mli4343logplain