def cr.cts.rcat

bend-osdev-crypto@0.1.0.0 · cts.bend:36

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

36# the pieces in order, as byte strings, onto acc
37def cr.cts.rcat(xs: List<&2, B.Octets>, acc: List<&2, B.Octets>) -> List<&2, B.Octets>:
38  match xs:
39    case Nil{}:
40      acc
41    case Con{h, t}:
42      cr.cts.rcat(t, Con{h, acc})