~/jendhub

def vals.length.put

bend-kit-cbor@0.3.0.0 · cbor.bend:233

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

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

Uses (6)

Used by (1)