def bool_code_refl

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

import Base

11def bool_code_refl(a: Bool) -> bool_code(a, a):
12    match a:
13        case False{}: Unit{}
14        case True{}: Unit{}