summaryrefslogtreecommitdiffstats
path: root/typing
ModeNameSize
-rw-r--r--btype.ml7578logstatsplain
-rw-r--r--btype.mli3906logstatsplain
-rw-r--r--ctype.ml92094logstatsplain
-rw-r--r--ctype.mli9268logstatsplain
-rw-r--r--datarepr.ml3399logstatsplain
-rw-r--r--datarepr.mli1428logstatsplain
-rw-r--r--env.ml26210logstatsplain
-rw-r--r--env.mli4782logstatsplain
-rw-r--r--ident.ml4402logstatsplain
-rw-r--r--ident.mli2026logstatsplain
-rw-r--r--includeclass.ml3989logstatsplain
-rw-r--r--includeclass.mli1315logstatsplain
-rw-r--r--includecore.ml3922logstatsplain
-rw-r--r--includecore.mli1290logstatsplain
-rw-r--r--includemod.ml13924logstatsplain
-rw-r--r--includemod.mli2012logstatsplain
-rw-r--r--mtype.ml4725logstatsplain
-rw-r--r--mtype.mli1473logstatsplain
-rw-r--r--outcometree.mli3564logstatsplain
-rw-r--r--parmatch.ml32497logstatsplain
-rw-r--r--parmatch.mli1920logstatsplain
-rw-r--r--path.ml1668logstatsplain
-rw-r--r--path.mli1052logstatsplain
-rw-r--r--predef.ml6548logstatsplain
-rw-r--r--predef.mli2080logstatsplain
-rw-r--r--primitive.ml2602logstatsplain
-rw-r--r--primitive.mli1346logstatsplain
-rw-r--r--printtyp.ml35463logstatsplain
-rw-r--r--printtyp.mli3391logstatsplain
-rw-r--r--subst.ml9503logstatsplain
-rw-r--r--subst.mli2166logstatsplain
-rw-r--r--typeclass.ml43899logstatsplain
-rw-r--r--typeclass.mli2692logstatsplain
-rw-r--r--typecore.ml60394logstatsplain
-rw-r--r--typecore.mli3866logstatsplain
-rw-r--r--typedecl.ml22438logstatsplain
-rw-r--r--typedecl.mli2295logstatsplain
-rw-r--r--typedtree.ml7542logstatsplain
-rw-r--r--typedtree.mli5731logstatsplain
-rw-r--r--typemod.ml22735logstatsplain
-rw-r--r--typemod.mli2012logstatsplain
-rw-r--r--types.ml5999logstatsplain
-rw-r--r--types.mli6153logstatsplain
-rw-r--r--typetexp.ml15135logstatsplain
-rw-r--r--typetexp.mli2205logstatsplain
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-27 19:52:41 +0000