Cbor.vals.length.put: def of bend-kit-cbor@0.3.0.0
Import: import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
Lines 233-235 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=233&end_line=235

import Base

def vals.length.put(h: Val, r: List<&1, Val> & Nat) -> List<&1, Val> & Nat:
  (rest, n) = r
  (Con{h, rest}, (1n + n : Nat))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  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=bend-kit-cbor@0.3.0.0/cbor.bend&name=Val