pan>[<a href="../model/expression/Expression$$Symbol.html" t="t">Symbol</a>])</span>
         <div class="documentableElement" id="atLeast-fffff88d">
          <div class="documentableElement-expander">
           <button class="icon-button ar show-content"></button>
           <div class="header monospace mono-medium">
            <div class="signature">
             <span class="modifiers"></span><span class="kind"><span t="k">def </span></span><a href="Encodings$.html#atLeast-fffff88d" t="n" class="docum