2. rho: Decl
3. k: Label
4. w: [[dec_lookup(da;k)]] rho
< k,w > 
(
[[da]] rho) 
da:Collection(dec()), rho:Decl, k:Label, w:[[dec_lookup(da;k)]] rho. < k,w > ([[da]] rho)| 1 | 1. da: Collection(dec()) 2. rho: Decl 3. k: Label 4. w: [[dec_lookup(da;k)]] rho < k,w > ([[da]] rho) |
About:
 |  |  |