~/jendhub

def aes_maybe_cert_value

qasim-bend-kit@0.1.0.2 · proof/AES_EnvelopeProof.bend:759

import qasim-bend-kit@0.1.0.2/proof/AES_EnvelopeProof.bend as AESEnvelopeProof
import Base

759def aes_maybe_cert_value(A: Type, cert: Maybe<&0, A>,
760    present: {Maybe.is_some(&0, A, cert) == True{} : Bool}) -> A:
761    match cert:
762        case None{}: Empty.absurd(A, aes_false_true(present))
763        case Some{value}: value

Uses (5)

Used by (1)