type Homo (t, t2) Source # | |
type Homo (t, t2) = (~) * t t2 |
type Homo (t, t2, t3) Source # | |
type Homo (t, t2, t3) = ((~) * t t2, (~) * t t3) |
type Homo (t, t2, t3, t4) Source # | |
type Homo (t, t2, t3, t4) = ((~) * t t2, (~) * t t3, (~) * t t4) |
type Homo (t, t2, t3, t4, t5) Source # | |
type Homo (t, t2, t3, t4, t5) = ((~) * t t2, (~) * t t3, (~) * t t4, (~) * t t5) |