+ <tr>
+ <td class="nnns component orange">
+ <br />
+ </td>
+ <td class="snns plane orange">lazy equivalence for closures</td>
+ <td class="snns file orange">fleq ( ⦃?,?,?⦄ ⋕ ⦃?,?,?⦄ )</td>
+ <td class="snnn file orange">fleq_fleq</td>
+ <td class="snnn file orange">
+ <br />
+ </td>
+ <td class="ssnn file orange">
+ <br />
+ </td>
+ </tr>