/code></div><div class="spec-doc"><p>Here follows the interface defined in the <code>Core</code> module. This module is included in most of the user-facing modules for convenience, so you may stumble across its documentation in several places.</p></div></div><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <a href="Core/index.html"