- [ { "ranged equivalence for closures" * } {
- [ "freq ( ⦃?,?,?⦄ ≡ ⦃?,?,?⦄ )" "freq_freq" * ]
+ [ { "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" * ]
+ }
+ ]
+ [ { "generic extension on referred entries" * } {
+ [ "lfxs ( ? ⦻*[?,?] ? )" "lfxs_length" + "lfxs_fqup" + "lfxs_lfxs" * ]