summaryrefslogtreecommitdiff
path: root/manual/src/refman/extensions
ModeNameSize
-rw-r--r--alerts.etex3372logplain
-rw-r--r--attributes.etex13438logplain
-rw-r--r--bigarray.etex1457logplain
-rw-r--r--bindingops.etex5370logplain
-rw-r--r--doccomments.etex4376logplain
-rw-r--r--effects.etex32775logplain
-rw-r--r--emptyvariants.etex310logplain
-rw-r--r--extensiblevariants.etex3133logplain
-rw-r--r--extensionnodes.etex3601logplain
-rw-r--r--extensionsyntax.etex2587logplain
-rw-r--r--firstclassmodules.etex7853logplain
-rw-r--r--gadts.etex786logplain
-rw-r--r--generalizedopens.etex2599logplain
-rw-r--r--generativefunctors.etex1176logplain
-rw-r--r--indexops.etex3340logplain
-rw-r--r--inlinerecords.etex1262logplain
-rw-r--r--letrecvalues.etex2953logplain
-rw-r--r--locallyabstract.etex3689logplain
-rw-r--r--modulealias.etex4656logplain
-rw-r--r--moduletypeof.etex1800logplain
-rw-r--r--overridingopen.etex739logplain
-rw-r--r--privatetypes.etex6466logplain
-rw-r--r--recursivemodules.etex3042logplain
-rw-r--r--signaturesubstitution.etex4606logplain