def pairs.length.put

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

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

import Base

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

Uses (6)

Used by (1)

bend-kit-cbor@0.3.0.0/cbor:pairs.length