summaryrefslogtreecommitdiff
path: root/typing
ModeNameSize
-rw-r--r--annot.mli1298logplain
-rw-r--r--btype.ml23158logplain
-rw-r--r--btype.mli8929logplain
-rw-r--r--cmi_format.ml3659logplain
-rw-r--r--cmi_format.mli1865logplain
-rw-r--r--cmt_format.ml7087logplain
-rw-r--r--cmt_format.mli4343logplain
-rw-r--r--ctype.ml154301logplain
-rw-r--r--ctype.mli13691logplain
-rw-r--r--datarepr.ml7770logplain
-rw-r--r--datarepr.mli1610logplain
-rw-r--r--env.ml66893logplain
-rw-r--r--env.mli11327logplain
-rw-r--r--envaux.ml3777logplain
-rw-r--r--envaux.mli1561logplain
-rw-r--r--ident.ml6904logplain
-rw-r--r--ident.mli2847logplain
-rw-r--r--includeclass.ml4528logplain
-rw-r--r--includeclass.mli1560logplain
-rw-r--r--includecore.ml12892logplain
-rw-r--r--includecore.mli2008logplain
-rw-r--r--includemod.ml23223logplain
-rw-r--r--includemod.mli2728logplain
-rw-r--r--mtype.ml13590logplain
-rw-r--r--mtype.mli2494logplain
-rw-r--r--oprint.ml22869logplain
-rw-r--r--oprint.mli1633logplain
-rw-r--r--outcometree.mli5133logplain
-rw-r--r--parmatch.ml72967logplain
-rw-r--r--parmatch.mli3308logplain
-rw-r--r--path.ml2975logplain
-rw-r--r--path.mli1646logplain
-rw-r--r--predef.ml9732logplain
-rw-r--r--predef.mli2888logplain
-rw-r--r--primitive.ml7819logplain
-rw-r--r--primitive.mli2561logplain
-rw-r--r--printtyp.ml50999logplain
-rw-r--r--printtyp.mli4398logplain
-rw-r--r--printtyped.ml27953logplain
-rw-r--r--printtyped.mli1307logplain
-rw-r--r--stypes.ml6215logplain
-rw-r--r--stypes.mli1607logplain
-rw-r--r--subst.ml14738logplain
-rw-r--r--subst.mli2896logplain
-rw-r--r--tast_mapper.ml22342logplain
-rw-r--r--tast_mapper.mli3476logplain
-rw-r--r--typeclass.ml67621logplain
-rw-r--r--typeclass.mli4366logplain
-rw-r--r--typecore.ml166805logplain
-rw-r--r--typecore.mli6479logplain
-rw-r--r--typedecl.ml67590logplain
-rw-r--r--typedecl.mli4045logplain
-rw-r--r--typedtree.ml17934logplain
-rw-r--r--typedtree.mli19327logplain
-rw-r--r--typedtreeIter.ml23678logplain
-rw-r--r--typedtreeIter.mli4625logplain
-rw-r--r--typedtreeMap.ml27939logplain
-rw-r--r--typedtreeMap.mli4731logplain
-rw-r--r--typemod.ml68722logplain
-rw-r--r--typemod.mli3397logplain
-rw-r--r--types.ml10651logplain
-rw-r--r--types.mli16638logplain
-rw-r--r--typetexp.ml35002logplain
-rw-r--r--typetexp.mli4830logplain
-rw-r--r--untypeast.ml30447logplain
-rw-r--r--untypeast.mli4343logplain