Libraries.Data.Ordering.Extra

Definitions

thenCmp : Ordering -> Lazy Ordering -> Ordering

Totality: total
Visibility: export
Fixity Declaration: infixl operator, level 5