def and_true

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/listops.bend:29

import Base

29def and_true(+b: Bool) -> {Bool.and(True{}, b) == b : Bool}:
30  {==}