summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--btype.ml14700logplain
-rw-r--r--btype.mli5708logplain
-rw-r--r--ctype.ml112159logplain
-rw-r--r--ctype.mli10956logplain
-rw-r--r--datarepr.ml3527logplain
-rw-r--r--datarepr.mli1465logplain
-rw-r--r--env.ml26637logplain
-rw-r--r--env.mli5137logplain
-rw-r--r--ident.ml5147logplain
-rw-r--r--ident.mli2181logplain
-rw-r--r--includeclass.ml3989logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml4198logplain
-rw-r--r--includecore.mli1290logplain
-rw-r--r--includemod.ml13999logplain
-rw-r--r--includemod.mli2012logplain
-rw-r--r--mtype.ml7279logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16109logplain
-rw-r--r--oprint.mli1268logplain
-rw-r--r--outcometree.mli3955logplain
-rw-r--r--parmatch.ml49790logplain
-rw-r--r--parmatch.mli2076logplain
-rw-r--r--path.ml1779logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml7550logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2602logplain
-rw-r--r--primitive.mli1346logplain
-rw-r--r--printtyp.ml32562logplain
-rw-r--r--printtyp.mli3349logplain
-rw-r--r--stypes.ml3798logplain
-rw-r--r--stypes.mli1255logplain
-rw-r--r--subst.ml10244logplain
-rw-r--r--subst.mli2224logplain
-rw-r--r--typeclass.ml54080logplain
-rw-r--r--typeclass.mli3126logplain
-rw-r--r--typecore.ml79014logplain
-rw-r--r--typecore.mli4556logplain
-rw-r--r--typedecl.ml27195logplain
-rw-r--r--typedecl.mli2765logplain
-rw-r--r--typedtree.ml7787logplain
-rw-r--r--typedtree.mli6039logplain
-rw-r--r--typemod.ml34687logplain
-rw-r--r--typemod.mli2227logplain
-rw-r--r--types.ml6689logplain
-rw-r--r--types.mli7038logplain
-rw-r--r--typetexp.ml21945logplain
-rw-r--r--typetexp.mli2514logplain
-rw-r--r--unused_var.ml8573logplain