- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">degree assignment</td>
- <td class="snns file grass">da ( ⦃?,?⦄ ⊢ ? ▪[?,?] ? )</td>
- <td class="snnn file grass">da_lift da_aaa da_sta da_da</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">stratified equivalence</td>
- <td class="snns file grass">steq ( ? ≡[?,?] ? )</td>
- <td class="snnn file grass">steq_steq</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">static type assignment</td>
- <td class="snns file grass">sta ( ⦃?,?⦄ ⊢ ? •[?] ? )</td>
- <td class="snnn file grass">sta_lift sta_lpx_sn sta_aaa sta_sta</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">parameters</td>
- <td class="snns file grass">sh</td>
- <td class="snnn file grass">sd</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">local env. ref. for atomic arity assignment</td>
- <td class="snns file grass">lsuba ( ? ⊢ ? ⁝⫃ ? )</td>
- <td class="snnn file grass">lsuba_aaa lsuba_lsuba</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">atomic arity assignment</td>
- <td class="snns file grass">aaa ( ⦃?,?⦄ ⊢ ? ⁝ ? )</td>
- <td class="snnn file grass">aaa_lift aaa_lifts aaa_fqus aaa_lleq aaa_aaa</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component grass">
- <br />
- </td>
- <td class="snns plane grass">restricted local env. ref.</td>
- <td class="snns file grass">lsubr ( ? ⫃ ? )</td>
- <td class="snnn file grass">lsubr_lsubr</td>
- <td class="snnn file grass">
- <br />
- </td>
- <td class="ssnn file grass">
- <br />
- </td>
- </tr>
- <tr>
- <td class="snns component yellow">multiple substitution</td>
- <td class="snns plane yellow">lazy equivalence</td>
- <td class="snns file yellow">fleq ( ⦃?,?,?⦄ ≡[?] ⦃?,?,?⦄ )</td>
- <td class="snnn file yellow">fleq_fleq</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="nnns plane yellow">
- <br />
- </td>
- <td class="snns file yellow">lleq ( ? ≡[?,?] ? )</td>
- <td class="snnn file yellow">lleq_alt lleq_alt_rec lleq_leq lleq_ldrop lleq_fqus lleq_llor lleq_lleq</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">lazy pointwise extension of a relation</td>
- <td class="snns file yellow">llpx_sn</td>
- <td class="snnn file yellow">llpx_sn_alt llpx_sn_alt_rec llpx_sn_tc llpx_sn_leq llpx_sn_ldrop llpx_sn_lpx_sn llpx_sn_frees llpx_sn_llor</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">pointwise union for local environments</td>
- <td class="snns file yellow">llor ( ? ⩖[?,?] ? ≡ ? )</td>
- <td class="snnn file yellow">llor_alt llor_ldrop</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">context-sensitive exclusion from free variables</td>
- <td class="snns file yellow">frees ( ? ⊢ ? ϵ 𝐅*[?]⦃?⦄ )</td>
- <td class="snnn file yellow">frees_append frees_leq frees_lift</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">contxt-sensitive extended multiple substitution</td>
- <td class="snns file yellow">cpys ( ⦃?,?⦄ ⊢ ? ▶*[?,?] ? )</td>
- <td class="snnn file yellow">cpys_alt ( ⦃?,?⦄ ⊢ ? ▶▶*[?,?] ? )</td>
- <td class="snnn file yellow">cpys_lift cpys_cpys</td>
- <td class="ssnn file yellow">
- <br />
- </td>
- </tr>
- <tr>
- <td class="nnns component yellow">
- <br />
- </td>
- <td class="snns plane yellow">iterated structural successor for closures</td>
- <td class="snns file yellow">fqus ( ⦃?,?,?⦄ ⊐* ⦃?,?,?⦄ )</td>
- <td class="snnn file yellow">fqus_alt fqus_fqus</td>
- <td class="snnn file yellow">
- <br />
- </td>
- <td class="ssnn file yellow">