<div xmlns:ld="http://lambdadelta.info/" class="head2">Logical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
according to the following table.
<div xmlns:ld="http://lambdadelta.info/" class="head2">Logical Structure of the Specification</div>
<div xmlns:ld="http://lambdadelta.info/" class="text">The source files are grouped in planes and components
according to the following table.
The notation for the relations or functions introduced in each file
is shown in parentheses (? are placeholders).
</div>
The notation for the relations or functions introduced in each file
is shown in parentheses (? are placeholders).
</div>
</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>
<td class="snns plane yellow">iterated structural successor for closures</td>
<td class="snns file yellow">fqus ( ⦃?,?,?⦄ ⊃* ⦃?,?,?⦄ )</td>
</td>
<td class="snns plane yellow">iterated structural successor for closures</td>
<td class="snns file yellow">fqus ( ⦃?,?,?⦄ ⊃* ⦃?,?,?⦄ )</td>
<br />
</td>
<td class="snns file yellow">fqup ( ⦃?,?,?⦄ ⊃+ ⦃?,?,?⦄ )</td>
<br />
</td>
<td class="snns file yellow">fqup ( ⦃?,?,?⦄ ⊃+ ⦃?,?,?⦄ )</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>
<br />
</td>
<td class="snns file orange">fqu ( ⦃?,?,?⦄ ⊃ ⦃?,?,?⦄ )</td>
<br />
</td>
<td class="snns file orange">fqu ( ⦃?,?,?⦄ ⊃ ⦃?,?,?⦄ )</td>
- <td class="snns file orange">lleq ( ? ⋕[?] ? )</td>
- <td class="snnn file orange">lleq_fleq</td>
+ <td class="snns file orange">lleq ( ? ⋕[?,?] ? )</td>
+ <td class="snnn file orange">lleq_lleq</td>
</td>
<td class="snns plane orange">basic local env. slicing</td>
<td class="snns file orange">ldrop ( ⇩[?,?] ? ≡ ? )</td>
</td>
<td class="snns plane orange">basic local env. slicing</td>
<td class="snns file orange">ldrop ( ⇩[?,?] ? ≡ ? )</td>
+ <td class="snns plane red">equivalence for local environments</td>
+ <td class="snns file red">leq ( ? ≃[?,?] ? ) </td>
+ <td class="snnn file red">
+ <br />
+ </td>
+ <td class="snnn file red">
+ <br />
+ </td>
+ <td class="ssnn file red">
+ <br />
+ </td>
+ </tr>
+ <tr>
+ <td class="nnns component red">
+ <br />
+ </td>
<td class="snns plane red">pointwise extension of a relation</td>
<td class="snns file red">lpx_sn</td>
<td class="snnn file red">lpx_sn_tc lpx_sn_lpx_sn</td>
<td class="snns plane red">pointwise extension of a relation</td>
<td class="snns file red">lpx_sn</td>
<td class="snnn file red">lpx_sn_tc lpx_sn_lpx_sn</td>