def aes_false_type

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

import Base

528def aes_false_type(b: Bool) -> Data:
529    match b:
530        case False{}: Unit
531        case True{}: Empty