1 definition module TupleOverloading
5 instance + (a,b) | + a & + b
6 instance + (a,b,c) | + a & + b & + c
9 instance - (a,b) | - a & - b
10 instance - (a,b,c) | - a & - b & - c
12 instance * (a,b) | * a & * b
13 instance * (a,b,c) | * a & * b & * c
15 instance / (a,b) | / a & / b
16 instance / (a,b,c) | / a & / b & / c
18 instance zero (a,b) | zero a & zero b
19 instance zero (a,b,c) | zero a & zero b & zero c
21 instance one (a,b) | one a & one b
22 instance one (a,b,c) | one a & one b & one c
24 instance ~ (a,b) | ~ a & ~ b
25 instance ~ (a,b,c) | ~ a & ~ b & ~ c