summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1046logplain
-rw-r--r--btype.ml15535logplain
-rw-r--r--btype.mli5999logplain
-rw-r--r--ctype.ml119440logplain
-rw-r--r--ctype.mli11401logplain
-rw-r--r--datarepr.ml3571logplain
-rw-r--r--datarepr.mli1464logplain
-rw-r--r--env.ml30209logplain
-rw-r--r--env.mli5594logplain
-rw-r--r--ident.ml5146logplain
-rw-r--r--ident.mli2175logplain
-rw-r--r--includeclass.ml4202logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml9969logplain
-rw-r--r--includecore.mli1687logplain
-rw-r--r--includemod.ml14920logplain
-rw-r--r--includemod.mli2088logplain
-rw-r--r--mtype.ml7634logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16281logplain
-rw-r--r--oprint.mli1310logplain
-rw-r--r--outcometree.mli3962logplain
-rw-r--r--parmatch.ml52590logplain
-rw-r--r--parmatch.mli2412logplain
-rw-r--r--path.ml1778logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml8054logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2731logplain
-rw-r--r--primitive.mli1423logplain
-rw-r--r--printtyp.ml33975logplain
-rw-r--r--printtyp.mli3395logplain
-rw-r--r--stypes.ml4893logplain
-rw-r--r--stypes.mli1348logplain
-rw-r--r--subst.ml10961logplain
-rw-r--r--subst.mli2416logplain
-rw-r--r--typeclass.ml57031logplain
-rw-r--r--typeclass.mli3163logplain
-rw-r--r--typecore.ml95190logplain
-rw-r--r--typecore.mli5072logplain
-rw-r--r--typedecl.ml35298logplain
-rw-r--r--typedecl.mli3026logplain
-rw-r--r--typedtree.ml8037logplain
-rw-r--r--typedtree.mli6274logplain
-rw-r--r--typemod.ml46887logplain
-rw-r--r--typemod.mli2318logplain
-rw-r--r--types.ml7207logplain
-rw-r--r--types.mli7122logplain
-rw-r--r--typetexp.ml24203logplain
-rw-r--r--typetexp.mli3912logplain
-rw-r--r--unused_var.ml8938logplain
-rw-r--r--unused_var.mli963logplain