Bytes.cmp.len: def of bend-kit-bytes@0.3.3.0
Import: import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
Lines 608-615 of bend-kit-bytes@0.3.3.0/bytes.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&start_line=608&end_line=615

import Base

def cmp.len(c: Cmp, +la: U32, +lb: U32) -> Cmp:
  match c:
    case EQ{}:
      U32.cmp(la, lb)
    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