Type Definition prop::path_semantics::Mixi

type Mixi<A, B, C, D> = Min<MaxMin<A, B, C, D>, MinMax<A, B, C, D>>;

The decided minimum of undecided middle (2nd of 4).