def tr.split_fin

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:919

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

919def tr.split_fin(acc: List<&2, M.CmBlock>, s: M.CmSplit) -> M.CmSplit:
920  match s:
921    case M.CmSplit{bs, t}:
922      M.CmSplit{M.cm.blocks.rev_onto(acc, bs), t}