6. d1: {d@0:dec()| d@0
< d > }
x decl_type([[d1]] rho;x1)
decl_type([[d]] rho;l) decl_type([[d]] rho;x1) 
(
d:{d@0:dec()| d@0 < d > }. decl_type([[d]] rho;x1))| 1 | 5. x: decl_type([[d]] rho;x1) 6. d1: {d@0:dec()| d@0 < d > } x decl_type([[d1]] rho;x1) |
About:
 |  |  |  |  |