Type Definition Max
prop::path_semantics
type Max<A, B> = <(<A as LProp>::N, <B as LProp>::N) as SortMax<A, B>>::Out;
Returns the maximum LProp.