~/jendhub

def true_false

bend-collections-laws-crypto@1.0.0.0 · proofs/lib/logic.bend:16

import bend-collections-laws-crypto@1.0.0.0/proofs/lib/logic.bend as Logic
import Base

16def true_false(e: {True{} == False{} : Bool}) -> Empty:
17  false_true(Equal.sym(Bool, True{}, False{}, e))

Uses (4)

Used by (29)