TotallyOrdered<T, U> Concept
Definition
Line
104
of
System.Base/Concept.cm
Refinement
Type Parameters
T
U
Constraints
T
is
TotallyOrdered
and
U
is
TotallyOrdered
and
CommonType
is
TotallyOrdered