summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1087logplain
-rw-r--r--btype.ml15567logplain
-rw-r--r--btype.mli5935logplain
-rw-r--r--ctype.ml114685logplain
-rw-r--r--ctype.mli11001logplain
-rw-r--r--datarepr.ml3527logplain
-rw-r--r--datarepr.mli1465logplain
-rw-r--r--env.ml28917logplain
-rw-r--r--env.mli5346logplain
-rw-r--r--ident.ml5147logplain
-rw-r--r--ident.mli2181logplain
-rw-r--r--includeclass.ml4116logplain
-rw-r--r--includeclass.mli1315logplain
-rw-r--r--includecore.ml6721logplain
-rw-r--r--includecore.mli1290logplain
-rw-r--r--includemod.ml14682logplain
-rw-r--r--includemod.mli2047logplain
-rw-r--r--mtype.ml7323logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml15877logplain
-rw-r--r--oprint.mli1268logplain
-rw-r--r--outcometree.mli3905logplain
-rw-r--r--parmatch.ml50738logplain
-rw-r--r--parmatch.mli2325logplain
-rw-r--r--path.ml1779logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml7655logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2602logplain
-rw-r--r--primitive.mli1346logplain
-rw-r--r--printtyp.ml32747logplain
-rw-r--r--printtyp.mli3395logplain
-rw-r--r--stypes.ml4864logplain
-rw-r--r--stypes.mli1339logplain
-rw-r--r--subst.ml10122logplain
-rw-r--r--subst.mli2224logplain
-rw-r--r--typeclass.ml56753logplain
-rw-r--r--typeclass.mli3197logplain
-rw-r--r--typecore.ml81988logplain
-rw-r--r--typecore.mli4703logplain
-rw-r--r--typedecl.ml32879logplain
-rw-r--r--typedecl.mli2869logplain
-rw-r--r--typedtree.ml7822logplain
-rw-r--r--typedtree.mli6120logplain
-rw-r--r--typemod.ml37462logplain
-rw-r--r--typemod.mli2251logplain
-rw-r--r--types.ml6697logplain
-rw-r--r--types.mli7046logplain
-rw-r--r--typetexp.ml20279logplain
-rw-r--r--typetexp.mli2514logplain
-rw-r--r--unused_var.ml8657logplain
-rw-r--r--unused_var.mli963logplain