ref="#functions-to-normalize-abstract-values" class="anchor"></a>Functions to normalize abstract values</h3><p>Also provided are helper functions that normalize inside of more complex values such as tuples. In that case the functions take care to preserve physical equality if the input value is already its own canonical representative.</p><p>We need separate functions for <code>AbstractValue.t</code> and <code>needs_canon</code> values because of the type system. By convention functions that end in <code>'<