def decode_all.start

bendonnect-rpc@0.1.0.0 · src/envelope.bend:142

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

142def decode_all.start(r: Bytes.Bytes & U32, +max: U32) -> Result<&2, &1, String, List<&1, Envelope>>:
143  (b, +n) = r
144  decode_all.go(1n+U32.to_nat(n), decode(b, max), max)