/manual/src/refman/extensions/

• ../
• alerts.etex
• attributes.etex
• bigarray.etex
• bindingops.etex
• doccomments.etex
• effects.etex
• emptyvariants.etex
• extensiblevariants.etex
• extensionnodes.etex
• extensionsyntax.etex
• firstclassmodules.etex
• gadts.etex
• generalizedopens.etex
• generativefunctors.etex
• indexops.etex
• inlinerecords.etex
• letrecvalues.etex
• locallyabstract.etex
• modulealias.etex
• moduletypeof.etex
• overridingopen.etex
• privatetypes.etex
• recursivemodules.etex
• signaturesubstitution.etex