~/jendhub

def aes.of_maybe

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:268

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

268def aes.of_maybe(m: Maybe<&2, List<&2, U32>>) -> M.CmBlock:
269  match m:
270    case None{}:
271      M.CmBlock.zero()
272    case Some{xs}:
273      M.cm.block_of(xs)

Uses (6)

Used by (1)