Order
Int
s
up : Ordering Basics.Int Up
Order
Int
s where lower means greater
import Order
Order.with Int.Order.up 40 2
--> GT
Tag for up
down : Ordering Basics.Int Down
Order
Int
s where higher means greater
import Order
Order.with Int.Order.down 2 40
--> GT
Order.Reverse Up
Tag for down