Class.Ord: type of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/class.bend as Class
Lines 14-16 of bend-lawful-stdlib@0.1.0.0/src/class.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/class.bend&start_line=14&end_line=16

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Or