def decode_all.end
import bendonnect-rpc@0.1.0.0/src/envelope.bend as Envelopeimport Base
117def decode_all.end(empty: Bool) -> Result<&2, &1, String, List<&1, Envelope>>:
118 match empty:
119 case True{}:
120 Done{Nil{}}
121 case False{}:
122 Fail{"incomplete envelope at end of body"}