2. rho: Decl
3. x: Label
4. y: [[d]] rho for d
{d:dec()| d ds }(x)5. a: SimpleType
6. mk_dec(x, a)
ds
y [[a]] rho2. rho: Decl
3. x: Label
[[d]] rho for d {d:dec()| d ds } Label
Type 
ds:Collection(dec()), rho:Decl, x:Label, y:[[ds]] rho(x), a:SimpleType.
mk_dec(x, a) ds 
y [[a]] rho| 1 | 1. ds: Collection(dec()) 2. rho: Decl 3. x: Label 4. y: [[d]] rho for d {d:dec()| d ds }(x)5. a: SimpleType 6. mk_dec(x, a) ds y [[a]] rho |
| 2 | 1. ds: Collection(dec()) 2. rho: Decl 3. x: Label [[d]] rho for d {d:dec()| d ds } LabelType |
About:
 |  |  |  |  |  |  |