summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1046logplain
-rw-r--r--btype.ml16557logplain
-rw-r--r--btype.mli6377logplain
-rw-r--r--ctype.ml140259logplain
-rw-r--r--ctype.mli12049logplain
-rw-r--r--datarepr.ml4882logplain
-rw-r--r--datarepr.mli1523logplain
-rw-r--r--env.ml32812logplain
-rw-r--r--env.mli5789logplain
-rw-r--r--ident.ml5146logplain
-rw-r--r--ident.mli2175logplain
-rw-r--r--includeclass.ml4202logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml10158logplain
-rw-r--r--includecore.mli1687logplain
-rw-r--r--includemod.ml17639logplain
-rw-r--r--includemod.mli2212logplain
-rw-r--r--mtype.ml7708logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16711logplain
-rw-r--r--oprint.mli1310logplain
-rw-r--r--outcometree.mli3980logplain
-rw-r--r--parmatch.ml61108logplain
-rw-r--r--parmatch.mli2637logplain
-rw-r--r--path.ml1881logplain
-rw-r--r--path.mli1166logplain
-rw-r--r--predef.ml8647logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2731logplain
-rw-r--r--primitive.mli1423logplain
-rw-r--r--printtyp.ml36353logplain
-rw-r--r--printtyp.mli3395logplain
-rw-r--r--stypes.ml4893logplain
-rw-r--r--stypes.mli1348logplain
-rw-r--r--subst.ml11276logplain
-rw-r--r--subst.mli2416logplain
-rw-r--r--typeclass.ml57608logplain
-rw-r--r--typeclass.mli3163logplain
-rw-r--r--typecore.ml104328logplain
-rw-r--r--typecore.mli5183logplain
-rw-r--r--typedecl.ml38578logplain
-rw-r--r--typedecl.mli3082logplain
-rw-r--r--typedtree.ml7994logplain
-rw-r--r--typedtree.mli6231logplain
-rw-r--r--typemod.ml48172logplain
-rw-r--r--typemod.mli2357logplain
-rw-r--r--types.ml7564logplain
-rw-r--r--types.mli7481logplain
-rw-r--r--typetexp.ml25003logplain
-rw-r--r--typetexp.mli3912logplain
-rw-r--r--unused_var.ml8934logplain
-rw-r--r--unused_var.mli963logplain