/index.html#type-name">Valuation.name</a></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-var_domain"><a href="#type-var_domain" class="anchor"></a><code><span><span class="keyword">type</span> var_domain</span><span> = <span><a href="Value/index.html#type-t">Value.t</a> list</span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-var_desc"><a href="#type-var_desc" class="anchor"></a><code><span><span class="keyword">type</span