def Word.cmp.fin

Base · base.bend:1320

1320def Word.cmp.fin(ab: Bool, bb: Bool, t: Cmp) -> Cmp:
1321  match t:
1322    case LT{}:
1323      LT{}
1324    case EQ{}:
1325      Bool.cmp(ab, bb)
1326    case GT{}:
1327      GT{}