2. ds2: Collection(dec())
3. x: Label
4. rho: Decl
5. v: [[d]] rho for d
{d:dec()| d ds1 }(x)6.
d:dec(). d ds2 
d.lbl = x d ds1
v [[d]] rho for d {d:dec()| d ds2 }(x) ds1,ds2:Collection(dec()), x:Label, rho:Decl, v:[[ds1]] rho(x).
(d:dec(). d ds2 d.lbl = x d ds1) v [[ds2]] rho(x)| 1 | 1. ds1: Collection(dec()) 2. ds2: Collection(dec()) 3. x: Label 4. rho: Decl 5. v: [[d]] rho for d {d:dec()| d ds1 }(x)6. d:dec(). d ds2 d.lbl = x d ds1 v [[d]] rho for d {d:dec()| d ds2 }(x) |
About:
 |  |  |  |  |  |