Down
enum Down[a: Type]Sourcecase Down(a)Type of values with reversed ordering.
Wrapping values in Down conveniently reverses the sort order of a.
Instances
Add, Coerce, Eq, JoinLattice, LowerBound, MeetLattice, Order, PartialOrder, ToString, UpperBound