Agda.Utils.PartialOrd
data PartialOrdering
leqPO
oppPO
orPO
seqPO
fromOrdering
fromOrderings
toOrderings
type Comparable a
class PartialOrd a
comparableOrd
related
data Pointwise a
data Inclusion a