summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1046logplain
-rw-r--r--btype.ml15511logplain
-rw-r--r--btype.mli5999logplain
-rw-r--r--ctype.ml117529logplain
-rw-r--r--ctype.mli11292logplain
-rw-r--r--datarepr.ml3571logplain
-rw-r--r--datarepr.mli1465logplain
-rw-r--r--env.ml30183logplain
-rw-r--r--env.mli5537logplain
-rw-r--r--ident.ml5147logplain
-rw-r--r--ident.mli2181logplain
-rw-r--r--includeclass.ml4111logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml7011logplain
-rw-r--r--includecore.mli1290logplain
-rw-r--r--includemod.ml14741logplain
-rw-r--r--includemod.mli2047logplain
-rw-r--r--mtype.ml7637logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16233logplain
-rw-r--r--oprint.mli1268logplain
-rw-r--r--outcometree.mli3962logplain
-rw-r--r--parmatch.ml52768logplain
-rw-r--r--parmatch.mli2412logplain
-rw-r--r--path.ml1779logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml7869logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2731logplain
-rw-r--r--primitive.mli1423logplain
-rw-r--r--printtyp.ml32933logplain
-rw-r--r--printtyp.mli3395logplain
-rw-r--r--stypes.ml4893logplain
-rw-r--r--stypes.mli1348logplain
-rw-r--r--subst.ml10791logplain
-rw-r--r--subst.mli2418logplain
-rw-r--r--typeclass.ml56879logplain
-rw-r--r--typeclass.mli3197logplain
-rw-r--r--typecore.ml89137logplain
-rw-r--r--typecore.mli4995logplain
-rw-r--r--typedecl.ml33831logplain
-rw-r--r--typedecl.mli2997logplain
-rw-r--r--typedtree.ml7986logplain
-rw-r--r--typedtree.mli6224logplain
-rw-r--r--typemod.ml40854logplain
-rw-r--r--typemod.mli2283logplain
-rw-r--r--types.ml7207logplain
-rw-r--r--types.mli7181logplain
-rw-r--r--typetexp.ml21702logplain
-rw-r--r--typetexp.mli2928logplain
-rw-r--r--unused_var.ml8886logplain
-rw-r--r--unused_var.mli963logplain