Type Definition prop::path_semantics::Max[][src]

type Max<A, B> = <(<A as LProp>::N, <B as LProp>::N) as SortMax<A, B>>::Out;

Returns the maximum LProp.