"#s8.5-clauses">S8.5 Clauses</a></li><li><a href="#s8.7-types">S8.7 Types</a></li><li><a href="#s8.1:-module-declarations-and-forms">S8.1: Module declarations and forms</a></li></ul></nav><div class="odoc-content"><h3 id="basics"><a href="#basics" class="anchor"></a>Basics</h3><div class="odoc-spec"><div class="spec type anchored" id="type-module_reference"><a href="#type-module_reference" class="anchor"></a><code><span><span class="keyword">type</span> module_reference</span><span> = </span></code><ol><li 