def and_f

bend-collections-laws-math@1.0.0.0 · proofs/math/random/float.bend:373

import Base

373def and_f(+b: Bool) -> {Bool.and(b, False{}) == False{} : Bool}:
374  match b:
375    case True{}:
376      {==}
377    case False{}:
378      {==}