Envelope.encode_list: def of bendonnect-rpc@0.1.0.0
Import: import bendonnect-rpc@0.1.0.0/src/envelope.bend as Envelope
Lines 33-40 of bendonnect-rpc@0.1.0.0/src/envelope.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&start_line=33&end_line=40

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

# Encodes every envelope in parallel, then concatenates.
def encode_list(es: List<&1, Envelope>) -> List<&1, Bytes.Bytes>:
  match es:
    case Nil{}:
      Nil{}
    case Con{h, t}:
      a b = encode(h) encode_list(t)
      a <> b

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=Envelope
  https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/envelope.bend&name=encode