def rfl_b

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/prec.bend:134

import Base

134def rfl_b(+b: Bool) -> {b == b : Bool}:
135  {==}