Bytes.Octets.concat.ref: def of bend-osdev-bytes@0.1.1.1
Import: import bend-osdev-bytes@0.1.1.1/bytes.bend as Bytes
Lines 586-592 of bend-osdev-bytes@0.1.1.1/bytes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&start_line=586&end_line=592

import Base

# concat as the laws state it: each piece in front of the rest
def Octets.concat.ref(os: List<&2, Octets>) -> Octets:
  match os:
    case Nil{}:
      Octets.empty()
    case Con{h, t}:
      Octets.append(h, Octets.concat.ref(t))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=Octets.empty