+
+
+ |
uncounted context-sensitive rt-transition |
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
- lfpx_length lfpx_drops lfpx_fqup |
+ lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
|
@@ -442,9 +500,9 @@
|
- restricted ref. for local env. |
- lsubr ( ? â« ? ) |
- lsubr_length lsubr_drops lsubr_lsubr |
+ equivalence for closures on referred entries |
+ ffeq ( �,?,?⦠⡠�,?,?⦠) |
+ ffeq_freq |
|
@@ -456,9 +514,9 @@
|
- equivalence for closures on referred entries |
- ffeq ( �,?,?⦠⡠�,?,?⦠) |
- ffeq_freq |
+ equivalence for local environments on referred entries |
+ lfeq ( ? â¡[?] ? ) |
+ lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
|
@@ -470,9 +528,9 @@
|
- equivalence for local environments on referred entries |
- lfeq ( ? â¡[?] ? ) |
- lfeq_length lfeq_lreq lfeq_fqup lfeq_lfeq |
+ generic extension on referred entries |
+ lfxs ( ? ⦻*[?,?] ? ) |
+ lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
|
@@ -484,9 +542,9 @@
|
- generic extension on referred entries |
- lfxs ( ? ⦻*[?,?] ? ) |
- lfxs_length lfxs_drops lfxs_fqup lfxs_lfxs |
+ restricted ref. for context-sensitive free variables |
+ lsubf ( â¦?,?⦠â«ð
* �,?⦠) |
+ lsubf_frees |
|
@@ -500,7 +558,21 @@
context-sensitive free variables |
frees ( ? ⢠ð
*�⦠⡠? ) |
- frees_weight frees_lreq frees_drops frees_frees |
+ frees_weight frees_lreq frees_drops frees_fqup frees_frees |
+
+
+ |
+
+
+ |
+
+