summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--btype.ml7571logplain
-rw-r--r--btype.mli3906logplain
-rw-r--r--ctype.ml91298logplain
-rw-r--r--ctype.mli9268logplain
-rw-r--r--datarepr.ml3399logplain
-rw-r--r--datarepr.mli1428logplain
-rw-r--r--env.ml26210logplain
-rw-r--r--env.mli4782logplain
-rw-r--r--ident.ml4402logplain
-rw-r--r--ident.mli2026logplain
-rw-r--r--includeclass.ml3989logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml3922logplain
-rw-r--r--includecore.mli1290logplain
-rw-r--r--includemod.ml13924logplain
-rw-r--r--includemod.mli2012logplain
-rw-r--r--mtype.ml4725logplain
-rw-r--r--mtype.mli1473logplain
-rw-r--r--outcometree.mli3486logplain
-rw-r--r--parmatch.ml32462logplain
-rw-r--r--parmatch.mli1920logplain
-rw-r--r--path.ml1668logplain
-rw-r--r--path.mli1052logplain
-rw-r--r--predef.ml6548logplain
-rw-r--r--predef.mli2080logplain
-rw-r--r--primitive.ml2602logplain
-rw-r--r--primitive.mli1346logplain
-rw-r--r--printtyp.ml34733logplain
-rw-r--r--printtyp.mli3214logplain
-rw-r--r--subst.ml9503logplain
-rw-r--r--subst.mli2166logplain
-rw-r--r--typeclass.ml43287logplain
-rw-r--r--typeclass.mli2692logplain
-rw-r--r--typecore.ml59224logplain
-rw-r--r--typecore.mli3866logplain
-rw-r--r--typedecl.ml22035logplain
-rw-r--r--typedecl.mli2252logplain
-rw-r--r--typedtree.ml7512logplain
-rw-r--r--typedtree.mli5715logplain
-rw-r--r--typemod.ml22644logplain
-rw-r--r--typemod.mli2012logplain
-rw-r--r--types.ml5999logplain
-rw-r--r--types.mli6153logplain
-rw-r--r--typetexp.ml12576logplain
-rw-r--r--typetexp.mli2141logplain