def and_f

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64round.bend:670

import Base

670def and_f(+b: Bool) -> {Bool.and(b, False{}) == False{} : Bool}:
671  match b:
672    case True{}:
673      {==}
674    case False{}:
675      {==}