}
]
[ { "generic local env. slicing" * } {
- [ "ldrops ( ⇩*[?] ? ≡ ? )" "ldrops_ldrops" * ]
+ [ "ldrops ( ⇩*[?] ? ≡ ? )" "ldrops_ldrop" "ldrops_ldrops" * ]
}
]
- [ { "generic term relocation" * } {
- [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lifts" "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lifts_vector" * ]
+ [ { "generic term relocation" * } {
+ [ "lifts_vector ( ⇧*[?] ? ≡ ? )" "lifts_lift_vector" * ]
+ [ "lifts ( ⇧*[?] ? ≡ ? )" "lifts_lift" "lifts_lifts" * ]
+ }
+ ]
+ [ { "support for generic relocation" * } {
+ [ "gr2" "gr2_gr2" * ]
}
]
}
[ "gdrop ( ⇩[?] ? ≡ ? )" "gdrop_gdrop" * ]
}
]
- [ { "local env. slicing" * } {
+ [ { "basic local env. slicing" * } {
[ "ldrop ( ⇩[?,?] ? ≡ ? )" "ldrop_ldrop" * ]
}
]
- [ { "term relocation" * } {
- [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
+ [ { "basic term relocation" * } {
+ [ "lift_vector ( ⇧[?,?] ? ≡ ? )" "lift_lift_vector" * ]
+ [ "lift ( ⇧[?,?] ? ≡ ? )" "lift_lift" * ]
}
]
}