summaryrefslogtreecommitdiff
path: root/ocaml-binary-annot/typing
ModeNameSize
-rw-r--r--annot.mli1046logplain
-rw-r--r--btype.ml15532logplain
-rw-r--r--btype.mli5999logplain
-rw-r--r--ctype.ml119028logplain
-rw-r--r--ctype.mli11371logplain
-rw-r--r--datarepr.ml3571logplain
-rw-r--r--datarepr.mli1464logplain
-rw-r--r--env.ml32810logplain
-rw-r--r--env.mli5618logplain
-rw-r--r--ident.ml5146logplain
-rw-r--r--ident.mli2175logplain
-rw-r--r--includeclass.ml4202logplain
-rw-r--r--includeclass.mli1308logplain
-rw-r--r--includecore.ml9969logplain
-rw-r--r--includecore.mli1682logplain
-rw-r--r--includemod.ml14892logplain
-rw-r--r--includemod.mli2111logplain
-rw-r--r--mtype.ml7584logplain
-rw-r--r--mtype.mli2057logplain
-rw-r--r--oprint.ml16281logplain
-rw-r--r--oprint.mli1310logplain
-rw-r--r--outcometree.mli3962logplain
-rw-r--r--parmatch.ml53228logplain
-rw-r--r--parmatch.mli2430logplain
-rw-r--r--path.ml1778logplain
-rw-r--r--path.mli1075logplain
-rw-r--r--predef.ml8054logplain
-rw-r--r--predef.mli2190logplain
-rw-r--r--primitive.ml2731logplain
-rw-r--r--primitive.mli1423logplain
-rw-r--r--printtyp.ml33960logplain
-rw-r--r--printtyp.mli3403logplain
-rw-r--r--stypes.ml4893logplain
-rw-r--r--stypes.mli1348logplain
-rw-r--r--subst.ml10934logplain
-rw-r--r--subst.mli2424logplain
-rw-r--r--typeclass.ml60319logplain
-rw-r--r--typeclass.mli3959logplain
-rw-r--r--typecore.ml96938logplain
-rw-r--r--typecore.mli5143logplain
-rw-r--r--typedecl.ml36842logplain
-rw-r--r--typedecl.mli3034logplain
-rw-r--r--typedtree.ml35015logplain
-rw-r--r--typedtree.mli15443logplain
-rw-r--r--typemod.ml52201logplain
-rw-r--r--typemod.mli2403logplain
-rw-r--r--types.ml7204logplain
-rw-r--r--types.mli7119logplain
-rw-r--r--typetexp.ml25931logplain
-rw-r--r--typetexp.mli3954logplain
-rw-r--r--untypeast.ml19173logplain
-rw-r--r--untypeast.mli135logplain
-rw-r--r--unused_var.ml8943logplain
-rw-r--r--unused_var.mli963logplain