- <td class="snns plane yellow">parallel substitution</td>
- <td class="snns file yellow">lpss ( ? ⊢ ▶* ? )</td>
- <td class="snnn file yellow">lpss_ldrop lpss_cpss lpss_lpss</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">cpss ( ? ⊢ ? ▶* ? )</td>
- <td class="snnn file yellow">cpss_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">local env. ref. for substitution</td>