+ <td class="ssnn top orange">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic red">grammar</td>
+ <td class="snns top italic red">equivalence for local environments</td>
+ <td class="snns top red">lreq ( ? ⩬[?,?] ? )</td>
+ <td class="snnn top red">lreq_lreq</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="snns top italic red">same top term structure</td>
+ <td class="snns top red">tsts ( ? ≂ ? )</td>
+ <td class="snnn top red">tsts_tsts tsts_vector</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="snns top italic red">closures</td>
+ <td class="snns top red">cl_weight ( ♯{?,?,?} )</td>
+ <td class="snnn top red">cl_restricted_weight ( ♯{?,?} )</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="snns top italic red">internal syntax</td>
+ <td class="snns top red">genv</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="nnns top italic red">
+ <br />
+ </td>
+ <td class="snns top red">lenv</td>
+ <td class="snnn top red">lenv_weight ( ♯{?} )</td>
+ <td class="snnn top red">lenv_length ( |?| )</td>
+ <td class="ssnn top red">lenv_append ( ? @@ ? )</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="nnns top italic red">
+ <br />
+ </td>
+ <td class="snns top red">term</td>
+ <td class="snnn top red">term_weight ( ♯{?} )</td>
+ <td class="snnn top red">term_simple ( 𝐒⦃?⦄ )</td>
+ <td class="ssnn top red">term_vector ( Ⓐ?.? )</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic red">
+ <br />
+ </td>
+ <td class="nnns top italic red">
+ <br />
+ </td>
+ <td class="snns top red">item</td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="snnn top red">
+ <br />
+ </td>
+ <td class="ssnn top red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnss top capitalize italic red">
+ <br />
+ </td>
+ <td class="snss top italic red">external syntax</td>
+ <td class="snss top red">aarity</td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="snsn top red">
+ <br />
+ </td>
+ <td class="sssn top red">