def bzc

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64tools.bend:205

import Base
import bend-collections-laws-math@1.0.0.0/spec/math/f64.bend as SF

205def bzc(+c: Bool) -> {Nat.is_eq(SF.b2n(Bool.not(c)), 0n) == c : Bool}:
206  match c:
207    case True{}:
208      {==}
209    case False{}:
210      {==}