staticread onlymonoid:Monoid<Ordering> = { zero : EQ, append : function(o0:Ordering, o1:Ordering):Ordering return switch o0 { case LT: LT; case EQ: o1; case GT: GT; } }
staticnegate (o:Ordering):Ordering