2. rho: Decl
3. a: (
[[ds]] rho)4. x: Label
5. mk_dec(kind(a), x)
ds
value(a) rho(x) 
ds:Collection(dec()), rho:Decl, a:([[ds]] rho), x:Label.
mk_dec(kind(a), x) ds 
value(a) rho(x)| 1 | 1. ds: Collection(dec()) 2. rho: Decl 3. a: ( [[ds]] rho)4. x: Label 5. mk_dec(kind(a), x) ds value(a) rho(x) |
About:
 |  |  |  |