def cr.lrw.bdec

bend-osdev-crypto@0.1.0.0 · lrw.bend:38

import Base

38def cr.lrw.bdec(~K: Data, ~Blk: Data, ~dec: K -> Blk -> Blk, ~bxor: Blk -> Blk -> Blk, +k: K, t: Maybe<&2, Blk>, c: Blk) -> Blk:
39  match t:
40    case None{}:
41      dec(k, c)
42    case Some{+x}:
43      bxor(dec(k, bxor(c, x)), x)