Cbor.hd.arg: def of bend-kit-cbor@0.3.0.0
Import: import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
Lines 472-490 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=472&end_line=490

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

# ai 24..27 take 1, 2, 4 or 8 more bytes; 28..30 are reserved; 31 is indefinite or break.
def hd.arg(+ai: U32, a: Array<U32>, +len: U32, +i: U32, +major: U32) -> Array<U32> & Maybe<&2, Hd>:
  match ai:
    case 24:
      hd.wide(Bytes.fits(len, (i + 1 : U32), 1), 1n, a, i, major, 24)
    case 25:
      hd.wide(Bytes.fits(len, (i + 1 : U32), 2), 2n, a, i, major, 25)
    case 26:
      hd.wide(Bytes.fits(len, (i + 1 : U32), 4), 4n, a, i, major, 26)
    case 27:
      hd.wide(Bytes.fits(len, (i + 1 : U32), 8), 8n, a, i, major, 27)
    case 28:
      (a, None{})
    case 29:
      (a, None{})
    case 30:
      (a, None{})
    case _:
      (a, Some{Hd{major, ai, W64{0, ai}, (i + 1 : U32)}})

Uses (13):
  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=Maybe
  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.add
  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-bytes@0.3.3.0/bytes.bend&name=fits
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Hd
  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=hd.wide