Type Definition prop::path_semantics::Maxi

type Maxi<A, B, C, D> = Max<MaxMin<A, B, C, D>, MinMax<A, B, C, D>>;

The decided maximum of undecided middle (3rd of 4).