[ "sh" "sd" * ]
}
]
+ [ { "restricted local env. ref." * } {
+ [ "lsubr ( ? ⊑ ? )" "lsubr_lsubr" * ]
+ }
+ ]
}
]
class "yellow"
[ "cpy ( ⦃?,?⦄ ⊢ ? ▶[?,?] ? )" "cpy_lift" + "cpy_cpy" * ]
}
]
- [ { "restricted local env. ref." * } {
- [ "lsubr ( ? ⊑ ? )" "lsubr_lsubr" * ]
- }
- ]
[ { "local env. ref. for extended substitution" * } {
[ "lsuby ( ? ⊑×[?,?] ? )" "lsuby_lsuby" * ]
}