union of packages
I consider the following packages:
package P1{ rule r1 rule r2}
package P2 {rule r3 rule r4}
I would like to make the union of P1 and P2 with the same semantics as that of package P{rule r1 rule r2 rule r3 rule r4}
In the current version of GREW, this is not possible. It is only possible to run Alt(P1,P2)
, which is not equivalent.