def Octets.concat.ref

bend-osdev-bytes@0.1.1.0 · bytes.bend:586

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

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

Uses (4)

Used by (3)