List Ordering
List
Ordering
Order Lists by elements first to last
import Order import Int.Order import List.Order Order.with (List.Order.earlier Int.Order.up) [ 11, 22, 33, 188 ] [ 11, 22, 34 ] --> LT
Tag for earlier
earlier
Wrapper tag for Earlier
Earlier
Order
Lists by elements first to last