</td>
<td class="snns plane water">context-sensitive extended reduction</td>
<td class="snns file water">lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</td>
</td>
<td class="snns plane water">context-sensitive extended reduction</td>
<td class="snns file water">lpx ( ⦃?,?⦄ ⊢ ➡[?,?] ? )</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="snns plane yellow">lazy equivalence</td>
<td class="snns file yellow">fleq ( ⦃?,?,?⦄ ⋕[?] ⦃?,?,?⦄ )</td>
<td class="snnn file yellow">fleq_fleq</td>
</td>
<td class="snns plane yellow">lazy pointwise extension of a relation</td>
<td class="snns file yellow">llpx_sn</td>
</td>
<td class="snns plane yellow">lazy pointwise extension of a relation</td>
<td class="snns file yellow">llpx_sn</td>
- <td class="snns file yellow">llor ( ? ⩖[?] ? ≡ ? )</td>
- <td class="snnn file yellow">llor_alt</td>
+ <td class="snns file yellow">llor ( ? ⩖[?,?] ? ≡ ? )</td>
+ <td class="snnn file yellow">llor_ldrop</td>
- <td class="snns file yellow">cofrees ( ? ⊢ ? ~ϵ 𝐅*[?]⦃?⦄ )</td>
- <td class="snnn file yellow">cofrees_alt cofrees_lift</td>
+ <td class="snns file yellow">frees ( ? ⊢ ? ϵ 𝐅*[?]⦃?⦄ )</td>
+ <td class="snnn file yellow">frees_leq frees_lift</td>
<td class="snns plane orange">structural successor for closures</td>
<td class="snns file orange">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
<td class="snnn file orange">fquq_alt ( ⦃?,?,?⦄ ⊐⊐⸮ ⦃?,?,?⦄ )</td>
<td class="snns plane orange">structural successor for closures</td>
<td class="snns file orange">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
<td class="snnn file orange">fquq_alt ( ⦃?,?,?⦄ ⊐⊐⸮ ⦃?,?,?⦄ )</td>