summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--btype.ml16106logplain
-rw-r--r--btype.mli5935logplain
-rw-r--r--ctype.ml118578logplain
-rw-r--r--ctype.mli11121logplain
-rw-r--r--datarepr.ml3487logplain
-rw-r--r--datarepr.mli1465logplain
-rw-r--r--env.ml26975logplain
-rw-r--r--env.mli5195logplain
-rw-r--r--etype.ml8976logplain
-rw-r--r--etype.mli1194logplain
-rw-r--r--gdebug.ml1525logplain
-rw-r--r--gdebug.mli1309logplain
-rw-r--r--gtype.ml12957logplain
-rw-r--r--gtype.mli1851logplain
-rw-r--r--ident.ml5221logplain
-rw-r--r--ident.mli2245logplain
-rw-r--r--includeclass.ml3989logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml6721logplain
-rw-r--r--includecore.mli1290logplain
-rw-r--r--includemod.ml14786logplain
-rw-r--r--includemod.mli2012logplain
-rw-r--r--kenv.ml4889logplain
-rw-r--r--kset.ml3732logplain
-rw-r--r--kset.mli1278logplain
-rw-r--r--mtype.ml7350logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16752logplain
-rw-r--r--oprint.mli1268logplain
-rw-r--r--outcometree.mli4044logplain
-rw-r--r--parmatch.ml50204logplain
-rw-r--r--parmatch.mli2325logplain
-rw-r--r--path.ml1779logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml8065logplain
-rw-r--r--predef.mli2256logplain
-rw-r--r--primitive.ml2602logplain
-rw-r--r--primitive.mli1346logplain
-rw-r--r--printtyp.ml34832logplain
-rw-r--r--printtyp.mli3349logplain
-rw-r--r--stypes.ml3798logplain
-rw-r--r--stypes.mli1255logplain
-rw-r--r--subst.ml10125logplain
-rw-r--r--subst.mli2224logplain
-rw-r--r--typeclass.ml54680logplain
-rw-r--r--typeclass.mli3126logplain
-rw-r--r--typecore.ml100751logplain
-rw-r--r--typecore.mli5042logplain
-rw-r--r--typedecl.ml32168logplain
-rw-r--r--typedecl.mli2854logplain
-rw-r--r--typedtree.ml8509logplain
-rw-r--r--typedtree.mli6775logplain
-rw-r--r--typemod.ml37742logplain
-rw-r--r--typemod.mli2307logplain
-rw-r--r--typertype.ml16745logplain
-rw-r--r--typertype.mli3323logplain
-rw-r--r--types.ml6954logplain
-rw-r--r--types.mli7343logplain
-rw-r--r--typetexp.ml23541logplain
-rw-r--r--typetexp.mli2694logplain
-rw-r--r--unused_var.ml10169logplain
-rw-r--r--unused_var.mli963logplain