ate"><div class="highlight"><pre><span></span><span class="p">(</span><span class="nv">sb-c::definition</span> <span class="nv">sb-kernel:lexenv</span> <span class="k">&amp;optional</span> <span class="nv">sb-c::name</span> <span class="nv">sb-c::source-info</span> <span class="nv">sb-c::tlf</span>
 <span class="nv">sb-c::errorp</span><span class="p">)</span>
</pre></div>
</div>
</div>
</div>


           </div>
           
          </div>
          <footer>
  

  <hr/>

  <div role="contentinfo">
    <p>
