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 -> aInterface de comparaison. Requiert Eq. Les méthodes compare, <, >, <=, >=, min, max sont toutes inter-définissables via des valeurs par défaut. Définition minimale : compare ou (<).