- [ "da ( ⦃?,?⦄ ⊢ ? ▪[?,?] ? )" "da_lift" + "da_da" * ]
- }
- ]
- [ { "parameters" * } {
- [ "sh" "sd" * ]
- }
- ]
- [ { "restricted local env. ref." * } {
- [ "lsubr ( ? ⊑ ? )" "lsubr_lsubr" * ]
- }
- ]
- }
- ]
- class "yellow"
- [ { "substitution" * } {
- [ { "lazy equivalence" * } {
- [ "fleq ( ⦃?,?,?⦄ ⋕[?] ⦃?,?,?⦄ )" "fleq_fleq" * ]
- [ "lleq ( ? ⋕[?,?] ? )" "lleq_leq" + "lleq_ldrop" + "lleq_fqus" + "lleq_lleq" * ]
- }
- ]
- [ { "iterated structural successor for closures" * } {
- [ "fqus ( ⦃?,?,?⦄ ⊃* ⦃?,?,?⦄ )" "fqus_alt" + "fqus_fqus" * ]
- [ "fqup ( ⦃?,?,?⦄ ⊃+ ⦃?,?,?⦄ )" "fqup_fqup" * ]
- }
- ]
- [ { "iterated local env. slicing" * } {
- [ "ldrops ( ⇩*[?,?] ? ≡ ? )" "ldrops_ldrop" + "ldrops_ldrops" * ]