def m64_joins

bend-osdev-cipher-core@0.1.0.0 · PROOF.bend:185

import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L

185# the bytes of the blocks bs in front of ys, structurally
186def m64_joins(bs: List<&2, L.LcBlock64>, ys: List<&2, U32>) -> List<&2, U32>:
187  match bs:
188    case Nil{}:
189      ys
190    case Con{b, t}:
191      L.lc.block_bytes(b, m64_joins(t, ys))