summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1087logstatsplain
-rw-r--r--btype.ml15563logstatsplain
-rw-r--r--btype.mli5959logstatsplain
-rw-r--r--ctype.ml115644logstatsplain
-rw-r--r--ctype.mli11149logstatsplain
-rw-r--r--datarepr.ml3527logstatsplain
-rw-r--r--datarepr.mli1465logstatsplain
-rw-r--r--env.ml30029logstatsplain
-rw-r--r--env.mli5539logstatsplain
-rw-r--r--ident.ml5147logstatsplain
-rw-r--r--ident.mli2181logstatsplain
-rw-r--r--includeclass.ml4116logstatsplain
-rw-r--r--includeclass.mli1315logstatsplain
-rw-r--r--includecore.ml6747logstatsplain
-rw-r--r--includecore.mli1290logstatsplain
-rw-r--r--includemod.ml14682logstatsplain
-rw-r--r--includemod.mli2047logstatsplain
-rw-r--r--mtype.ml7385logstatsplain
-rw-r--r--mtype.mli2057logstatsplain
-rw-r--r--oprint.ml15877logstatsplain
-rw-r--r--oprint.mli1268logstatsplain
-rw-r--r--outcometree.mli3905logstatsplain
-rw-r--r--parmatch.ml50725logstatsplain
-rw-r--r--parmatch.mli2325logstatsplain
-rw-r--r--path.ml1779logstatsplain
-rw-r--r--path.mli1075logstatsplain
-rw-r--r--predef.ml7869logstatsplain
-rw-r--r--predef.mli2190logstatsplain
-rw-r--r--primitive.ml2602logstatsplain
-rw-r--r--primitive.mli1346logstatsplain
-rw-r--r--printtyp.ml32726logstatsplain
-rw-r--r--printtyp.mli3395logstatsplain
-rw-r--r--stypes.ml4864logstatsplain
-rw-r--r--stypes.mli1339logstatsplain
-rw-r--r--subst.ml10122logstatsplain
-rw-r--r--subst.mli2224logstatsplain
-rw-r--r--typeclass.ml56839logstatsplain
-rw-r--r--typeclass.mli3197logstatsplain
-rw-r--r--typecore.ml81985logstatsplain
-rw-r--r--typecore.mli4703logstatsplain
-rw-r--r--typedecl.ml32954logstatsplain
-rw-r--r--typedecl.mli2947logstatsplain
-rw-r--r--typedtree.ml7822logstatsplain
-rw-r--r--typedtree.mli6120logstatsplain
-rw-r--r--typemod.ml37531logstatsplain
-rw-r--r--typemod.mli2251logstatsplain
-rw-r--r--types.ml7091logstatsplain
-rw-r--r--types.mli7036logstatsplain
-rw-r--r--typetexp.ml20279logstatsplain
-rw-r--r--typetexp.mli2514logstatsplain
-rw-r--r--unused_var.ml8657logstatsplain
-rw-r--r--unused_var.mli963logstatsplain