def m64_joins

bend-osdev-legacy-ciphers@0.1.0.0 · PROOF.bend:8531

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L

8531# the bytes of the blocks bs in front of ys, structurally
8532def m64_joins(bs: List<&2, L.LcBlock64>, ys: List<&2, U32>) -> List<&2, U32>:
8533  match bs:
8534    case Nil{}:
8535      ys
8536    case Con{b, t}:
8537      L.lc.block_bytes(b, m64_joins(t, ys))