Type Definition MaxMin
prop::path_semantics
type MaxMin<A, B, C, D> = Max<Min<A, B>, Min<C, D>>;
The undecided maximum minimum.