why you need to use this and suppress this warning locally with [@alert &quot;-deprecated&quot;]</li></ul></div></div><h3 id="domain-elements,-revisited-to-be-safe-wrt-value-normalization"><a href="#domain-elements,-revisited-to-be-safe-wrt-value-normalization" class="anchor"></a>Domain elements, revisited to be safe wrt value normalization</h3><div class="odoc-spec"><div class="spec module anchored" id="module-Stack"><a href="#module-Stack" class="anchor"></a><code><span><span class="keyword">module</span>