"></a><code><span>| </span><span><span class="constructor">Valid</span></span></code></li><li id="type-state.Invalid" class="def variant constructor anchored"><a href="#type-state.Invalid" class="anchor"></a><code><span>| </span><span><span class="constructor">Invalid</span></span></code><div class="def-doc"><span class="comment-delim">(*</span><p>TODO</p><span class="comment-delim">*)</span></div></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-t"><a href="#type-t" clas