bject/index.html">Object</a>: <a href="../../../../../../Object/index.html#module-type-S">Object.S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../../../../../../Object/module-type-S/index.html#type-value">value</a> := <a href="index.html#type-t">t</a>;</code></div></div></body></html>