Cbor.item.def: def of bend-kit-cbor@0.3.0.0
Import: import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
Lines 608-625 of bend-kit-cbor@0.3.0.0/cbor.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&start_line=608&end_line=625

import Base

def item.def(+major: U32, +ai: U32, +arg: W64, +i: U32, a: Array<U32>, +len: U32, stack: List<&1, Frame>) -> Array<U32> & St:
  match major:
    case 0:
      (a, SDone{UInt{arg}, i, stack})
    case 1:
      (a, SDone{NInt{arg}, i, stack})
    case 2:
      item.str(False{}, i, stack, bstr.read(False{}, arg, a, len, i))
    case 3:
      item.str(True{}, i, stack, bstr.read(True{}, arg, a, len, i))
    case 4:
      (a, item.len(False{}, arg, len, i, stack))
    case 5:
      (a, item.len(True{}, arg, len, i, stack))
    case 6:
      (a, SHead{i, Con{FTag{arg}, stack}})
    case _:
      (a, item.simple(decode.major7(U32.is_lt(ai, 24), ai, arg), i, stack))

Uses (18):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=St
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=W64
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=bstr.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=decode.major7
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=item.len
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=item.simple
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=item.str