1 | 1. ds1: Collection(dec()) 2. ds2: Collection(dec()) 3. rho: Decl 4. r: l:Labeldecl_type([[ds1]] rho;l) 5. ds2 ds1 6. x1: Label 7. x: [[ds1]] rho(x1) x [[ds2]] rho(x1) |
2 | 1. ds1: Collection(dec()) 2. ds2: Collection(dec()) 3. rho: Decl 4. r: l:Labeldecl_type([[ds1]] rho;l) 5. ds2 ds1 6. x1: Label [[ds1]] rho LabelType |
About: