def cr.vm.encb

bend-osdev-crypto@0.1.0.0 · vmac.bend:123

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

123def cr.vm.encb(~K: Data, ~Blk: Data, ~enc: K -> Blk -> Blk, ~blk_to: Blk -> B.Octets, +k: K, x: Maybe<&2, Blk>, +o: B.Octets) -> List<&2, U32>:
124  match x:
125    case None{}:
126      B.Octets.to_list(o)
127    case Some{b}:
128      B.Octets.to_list(blk_to(enc(k, b)))