2. rho: Decl
3. s: l:Label
decl_type([[d]] rho;l)4. x1: Label
decl_type([[d]] rho;x1) 
(
d:{d@0:dec()| d@0 
< d > }. decl_type([[d]] rho;x1)) 
d:dec(), rho:Decl, s:{[[d]] rho}. s {[[ < d > ]] rho}| 1 | 1. d: dec() 2. rho: Decl 3. s: l:Label decl_type([[d]] rho;l)4. x1: Label decl_type([[d]] rho;x1) (d:{d@0:dec()| d@0 < d > }. decl_type([[d]] rho;x1)) |
About:
 |  |  |  |  |