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