ef="../../PulseAbstractValue/index.html#type-t">Pulselib.PulseBasicInterface.AbstractValue.t</a></span></code></div><div class="spec-doc"><p>an abstract value that is the canonical representative of its equivalence class (of other abstract values that are equal to it) in the current state (this may not be true if more equalities are added or generally any time the formula inside the state changes)</p></div></div><div class="odoc-include"><details open="open"><summary class="spec include"><code><span><span c