def aes_bool_and_true

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

import Base

20def aes_bool_and_true(b: Bool) -> {Bool.and(b, True{}) == b : Bool}:
21    match b:
22        case False{}: {==}
23        case True{}: {==}