Cbor.done.fr: def of bend-kit-cbor@0.3.0.0
Import: import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
Lines 729-744 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=729&end_line=744

import Base

def done.fr(fr: Frame, v: Val, +i: U32, rest: List<&1, Frame>) -> St:
  match fr:
    case FArr{+left, xs}:
      done.arr(U32.is_eq(left, 1), left, Con{v, xs}, i, rest)
    case FArrI{xs}:
      SHead{i, Con{FArrI{Con{v, xs}}, rest}}
    case FMap{+left, kvs}:
      SHead{i, Con{FKey{left, kvs, v}, rest}}
    case FKey{+left, kvs, k}:
      done.map(U32.is_eq(left, 1), left, Con{(k, v), kvs}, i, rest)
    case FMapI{kvs}:
      SHead{i, Con{FKeyI{kvs, v}, rest}}
    case FKeyI{kvs, k}:
      SHead{i, Con{FMapI{Con{(k, v), kvs}}, rest}}
    case FTag{number}:
      SDone{Tag{number, v}, i, rest}

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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_eq
  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=done.arr
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=done.map