DDF.Ordering

class Ordering r

sel1

sel2

sel3

sel4

isLT1

isEQ1

isGT1

chainOrd1

chainOrd2

class ObjOrd r x

eq1

eq2

cmp1

cmp2

type Cmp a