def bool_decode

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

import qasim-bend-kit@0.1.0.2/proof/AES_CertificateProof.bend as AESCertificateProof

import Base

20def bool_decode(+a: Bool, +b: Bool, code: bool_code(a, b)) -> {a == b : Bool}:
21    match a b:
22        case False{} False{}: {==}
23        case True{} True{}: {==}
24        case False{} True{}: Empty.absurd({a == b : Bool}, code)
25        case True{} False{}: Empty.absurd({a == b : Bool}, code)

Uses (3)

Used by (3)