Stdlib.Data.List.Ord
Contents
compare : {A : Type} → (A → A → Ordering) → List A → List A → OrderingSource#
