NOTE: the latest version is 11.2.0
Order Lists
Order
List
Order Lists by elements first to last
import Int.Order List.Order.greaterEarlier Int.Order.increasing [ 11, 22, 33, 188 ] [ 11, 22, 34 ] --> LT
Order
Lists by elements first to last