def bool_encode

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

import Base

16def bool_encode(+a: Bool, +b: Bool, proof: {a == b : Bool}) -> bool_code(a, b):
17    %proof : bool_code(a, _)
18    bool_code_refl(a)