Type Definition conshomfold::PosQuadruple

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