def bool_decode_refl

qasim-bend-kit@0.1.0.2 · proof/AES_CertificateProof.bend:27

import Base

27def bool_decode_refl(+a: Bool) ->
28    {bool_decode(a, a, bool_code_refl(a)) == {==} : {a == a : Bool}}:
29    match a:
30        case False{}: {==}
31        case True{}: {==}