| setop | trTyp | function-name | setOp | setLit |
|---|---|---|---|---|
| f& | 17 | setop_17_f_intersection | setoid | setop |
| fP | 65 | setop_65_f_partition | psetoid | psetop |
| fU | 17 | setop_17_f_union | setoid | setop |
| f\ | 17 | setop_17_f_difference | setoid | setop |
| fD | 17 | setop_17_f_symdiff | setoid | setop |
| f@ | 17 | setop_17_f_uniqual | setoid | setop |
| d& | 17 | setop_17_d_intersection | setoid | setop |
| f& | 17 | setop_17_f_intersection | setoid | setop |
|---|---|---|---|---|
| fP | 65 | setop_65_f_partition | psetoid | psetop |
| fU | 17 | setop_17_f_union | setoid | setop |
| f\ | 17 | setop_17_f_difference | setoid | setop |
| fD | 17 | setop_17_f_symdiff | setoid | setop |
| f@ | 17 | setop_17_f_uniqual | setoid | setop |
| d& | 17 | setop_17_d_intersection | setoid | setop |