def decode_all.fin
import bendonnect-rpc@0.1.0.0/src/envelope.bend as Envelopeimport 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))