summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--btype.ml15564logstatsplain
-rw-r--r--btype.mli5935logstatsplain
-rw-r--r--ctype.ml113424logstatsplain
-rw-r--r--ctype.mli10956logstatsplain
-rw-r--r--datarepr.ml3527logstatsplain
-rw-r--r--datarepr.mli1465logstatsplain
-rw-r--r--env.ml26957logstatsplain
-rw-r--r--env.mli5195logstatsplain
-rw-r--r--ident.ml5147logstatsplain
-rw-r--r--ident.mli2181logstatsplain
-rw-r--r--includeclass.ml3989logstatsplain
-rw-r--r--includeclass.mli1315logstatsplain
-rw-r--r--includecore.ml6721logstatsplain
-rw-r--r--includecore.mli1290logstatsplain
-rw-r--r--includemod.ml14529logstatsplain
-rw-r--r--includemod.mli2012logstatsplain
-rw-r--r--mtype.ml7323logstatsplain
-rw-r--r--mtype.mli2057logstatsplain
-rw-r--r--oprint.ml15751logstatsplain
-rw-r--r--oprint.mli1268logstatsplain
-rw-r--r--outcometree.mli3898logstatsplain
-rw-r--r--parmatch.ml50067logstatsplain
-rw-r--r--parmatch.mli2325logstatsplain
-rw-r--r--path.ml1779logstatsplain
-rw-r--r--path.mli1075logstatsplain
-rw-r--r--predef.ml7550logstatsplain
-rw-r--r--predef.mli2190logstatsplain
-rw-r--r--primitive.ml2602logstatsplain
-rw-r--r--primitive.mli1346logstatsplain
-rw-r--r--printtyp.ml32642logstatsplain
-rw-r--r--printtyp.mli3349logstatsplain
-rw-r--r--stypes.ml3798logstatsplain
-rw-r--r--stypes.mli1255logstatsplain
-rw-r--r--subst.ml10110logstatsplain
-rw-r--r--subst.mli2224logstatsplain
-rw-r--r--typeclass.ml54455logstatsplain
-rw-r--r--typeclass.mli3126logstatsplain
-rw-r--r--typecore.ml79632logstatsplain
-rw-r--r--typecore.mli4567logstatsplain
-rw-r--r--typedecl.ml31970logstatsplain
-rw-r--r--typedecl.mli2854logstatsplain
-rw-r--r--typedtree.ml7787logstatsplain
-rw-r--r--typedtree.mli6039logstatsplain
-rw-r--r--typemod.ml36564logstatsplain
-rw-r--r--typemod.mli2227logstatsplain
-rw-r--r--types.ml6626logstatsplain
-rw-r--r--types.mli6975logstatsplain
-rw-r--r--typetexp.ml20204logstatsplain
-rw-r--r--typetexp.mli2514logstatsplain
-rw-r--r--unused_var.ml8641logstatsplain
-rw-r--r--unused_var.mli963logstatsplain