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