[ "lleq ( ? β[?,?] ? )" "lleq_alt" + "lleq_leq" + "lleq_ldrop" + "lleq_fqus" + "lleq_lleq" * ]
}
]
+ [ { "context-sensitive exclusion from free variables" * } {
+ [ "cofrees ( ? β’ ? ~Ο΅ π
*[?]β¦?β¦ )" "cofrees_lift" * ]
+ }
+ ]
[ { "contxt-sensitive extended multiple substitution" * } {
[ "cpys ( β¦?,?β¦ β’ ? βΆ*[?,?] ? )" "cpys_alt ( β¦?,?β¦ β’ ? βΆβΆ*[?,?] ? )" "cpys_lift" + "cpys_cpys" * ]
}
]
- [ { "iterated structural successor for closures" * } {
+ [ { "iterated structural successor for closures" * } {
[ "fqus ( β¦?,?,?β¦ β* β¦?,?,?β¦ )" "fqus_alt" + "fqus_fqus" * ]
[ "fqup ( β¦?,?,?β¦ β+ β¦?,?,?β¦ )" "fqup_fqup" * ]
}