def cam_white

bend-osdev-camellia@0.1.0.0 · PROOF.bend:36

import Base
import bend-osdev-mode-core@0.1.0.0/mode_core.bend as M
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as L
import bend-osdev-camellia@0.1.0.0/camellia.bend as C

36def cam_white(a: L.LcBlock64, b: L.LcBlock64, +s: M.CmBlock) -> {s == C.cam.white(a, b, C.cam.white(a, b, s)) : M.CmBlock}:
37  match a b:
38    case L.LcBlock64{+a0, +a1} L.LcBlock64{+b0, +b1}:
39      block_xx(s, M.CmBlock{a0, a1, b0, b1})