- <td class="snns plane yellow">lazy equivalence for local environments</td>
- <td class="snns file yellow">lleq ( ? ⋕[?,?] ? )</td>
- <td class="snnn file yellow">lleq_alt ( ? ⋕⋕[?,?] ? )</td>
- <td class="snnn file yellow">lleq_ldrop lleq_fqus lleq_lleq lleq_ext</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>