Type Definition conshomfold::PosPair

type PosPair<T> = (T, T);