def decode_all.fin

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

import bendonnect-rpc@0.1.0.0/src/envelope.bend as Envelope
import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

124def decode_all.fin(r: Bytes.Bytes & U32) -> Result<&2, &1, String, List<&1, Envelope>>:
125  (b, +n) = r
126  decode_all.end(U32.is_eq(n, 0))

Uses (10)

Used by (1)