Agda.Termination.Order
data Order
decr
increase
decrease
setUsability
(.*.)
supremum
infimum
orderSemiring
le
lt
unknown
orderMat
collapseO
nonIncreasing
decreasing
isDecr
class NotWorse a
isOrder