Word64.W64.cmp.pick: def of bend-osdev-word64@0.1.1.0
Import: import bend-osdev-word64@0.1.1.0/word64.bend as Word64
Lines 214-221 of bend-osdev-word64@0.1.1.0/word64.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&start_line=214&end_line=221

import Base

def W64.cmp.pick(c: Cmp, al: U32, bl: U32) -> Cmp:
  match c:
    case EQ{}:
      U32.cmp(al, bl)
    case LT{}:
      LT{}
    case GT{}:
      GT{}

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