scope for ReductionSystem and LTS notations #120
Description
These are currently the only declarations that do not follow the Cslib namespace convention. It is not as simple as adding scoped because of this happening in an attribute.
{{ message }}