2. ds2: Collection(dec())
3. x: Label
4. ds1 = ds2
dec_lookup(ds1;x) = dec_lookup(ds2;x)
ds1,ds2:Collection(dec()), x:Label. ds1 = ds2 
dec_lookup(ds1;x) = dec_lookup(ds2;x)
| 1 | 1. ds1: Collection(dec()) 2. ds2: Collection(dec()) 3. x: Label 4. ds1 = ds2 dec_lookup(ds1;x) = dec_lookup(ds2;x) |
About:
 |  |