summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1046logstatsplain
-rw-r--r--btype.ml16983logstatsplain
-rw-r--r--btype.mli6634logstatsplain
-rw-r--r--cmi_format.ml3173logstatsplain
-rw-r--r--cmi_format.mli1554logstatsplain
-rw-r--r--cmt_format.ml8192logstatsplain
-rw-r--r--cmt_format.mli3867logstatsplain
-rw-r--r--ctype.ml141784logstatsplain
-rw-r--r--ctype.mli12234logstatsplain
-rw-r--r--datarepr.ml4989logstatsplain
-rw-r--r--datarepr.mli1536logstatsplain
-rw-r--r--env.ml45400logstatsplain
-rw-r--r--env.mli8368logstatsplain
-rw-r--r--envaux.ml3013logstatsplain
-rw-r--r--envaux.mli1306logstatsplain
-rw-r--r--ident.ml5146logstatsplain
-rw-r--r--ident.mli2226logstatsplain
-rw-r--r--includeclass.ml4202logstatsplain
-rw-r--r--includeclass.mli1308logstatsplain
-rw-r--r--includecore.ml10895logstatsplain
-rw-r--r--includecore.mli1731logstatsplain
-rw-r--r--includemod.ml17866logstatsplain
-rw-r--r--includemod.mli2220logstatsplain
-rw-r--r--mtype.ml7823logstatsplain
-rw-r--r--mtype.mli2057logstatsplain
-rw-r--r--oprint.ml16669logstatsplain
-rw-r--r--oprint.mli1310logstatsplain
-rw-r--r--outcometree.mli3980logstatsplain
-rw-r--r--parmatch.ml65139logstatsplain
-rw-r--r--parmatch.mli2810logstatsplain
-rw-r--r--path.ml1987logstatsplain
-rw-r--r--path.mli1189logstatsplain
-rw-r--r--predef.ml9314logstatsplain
-rw-r--r--predef.mli2234logstatsplain
-rw-r--r--primitive.ml2731logstatsplain
-rw-r--r--primitive.mli1423logstatsplain
-rw-r--r--printtyp.ml37077logstatsplain
-rw-r--r--printtyp.mli3537logstatsplain
-rw-r--r--printtyped.ml24933logstatsplain
-rw-r--r--printtyped.mli950logstatsplain
-rw-r--r--stypes.ml4978logstatsplain
-rw-r--r--stypes.mli1355logstatsplain
-rw-r--r--subst.ml11516logstatsplain
-rw-r--r--subst.mli2424logstatsplain
-rw-r--r--typeclass.ml61497logstatsplain
-rw-r--r--typeclass.mli4011logstatsplain
-rw-r--r--typecore.ml121412logstatsplain
-rw-r--r--typecore.mli5315logstatsplain
-rw-r--r--typedecl.ml42427logstatsplain
-rw-r--r--typedecl.mli3213logstatsplain
-rw-r--r--typedtree.ml15297logstatsplain
-rw-r--r--typedtree.mli13283logstatsplain
-rw-r--r--typedtreeIter.ml22552logstatsplain
-rw-r--r--typedtreeIter.mli4333logstatsplain
-rw-r--r--typedtreeMap.ml26967logstatsplain
-rw-r--r--typedtreeMap.mli4413logstatsplain
-rw-r--r--typemod.ml56802logstatsplain
-rw-r--r--typemod.mli2666logstatsplain
-rw-r--r--types.ml7608logstatsplain
-rw-r--r--types.mli7580logstatsplain
-rw-r--r--typetexp.ml27396logstatsplain
-rw-r--r--typetexp.mli4034logstatsplain