Word.cmp.fin: def of Base
Import: import Base
Lines 1320-1327 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=1320&end_line=1327

import Base

def Word.cmp.fin(ab: Bool, bb: Bool, t: Cmp) -> Cmp:
  match t:
    case LT{}:
      LT{}
    case EQ{}:
      Bool.cmp(ab, bb)
    case GT{}:
      GT{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp