type Ord

bend-lawful-stdlib@0.1.0.0 · src/class.bend:14

import Base

14# a total order: a relation and a decision that returns the side that holds
15type Ord<-A: Data> is Type:
16  Ord{R: A -> A -> Type, dec: @x: A -> @y: A -> Or(R(x, y), R(y, x))}