def aes_byte_from_maybe

qasim-bend-kit@0.1.0.2 · libs/AES256GCMCore.bend:149

import Base

149def aes_byte_from_maybe(value: Maybe<&2, U32>) -> U32:
150    match value:
151        case None{}: 0
152        case Some{byte}: byte