def xts.dec

bend-osdev-cipher-modes@0.1.0.0 · xts.bend:51

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

51def xts.dec(~K: Data, ~dec: K -> M.CmBlock -> M.CmBlock, +k: K, bs: List<&2, M.CmBlock>, +t: M.CmBlock) -> List<&2, M.CmBlock>:
52  match bs:
53    case Nil{}:
54      Nil{}
55    case Con{c, rest}:
56      Con{xts.bdec(~K, ~dec, k, c, t), xts.dec(~K, ~dec, k, rest, Xts.mul_alpha(t))}