def aes_bool_and_false

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

import Base

15def aes_bool_and_false(b: Bool) -> {Bool.and(b, False{}) == False{} : Bool}:
16    match b:
17        case False{}: {==}
18        case True{}: {==}