interface Eq a => Ord a where
compare : a -> a -> Ordering
(<) : a -> a -> Bool
(>) : a -> a -> Bool
(<=) : a -> a -> Bool
(>=) : a -> a -> Bool
min : a -> a -> a
max : a -> a -> aComparison interface. Requires Eq. The methods compare, <, >, <=, >=, min, max are all inter-definable via defaults. Minimal definition: compare or (<).