def and_false

bend-collections-laws-math@1.0.0.0 · proofs/math/random/lemire.bend:30

import Base

30def and_false(+b: Bool) -> {Bool.and(b, False{}) == False{} : Bool}:
31  match b:
32    case True{}:
33      {==}
34    case False{}:
35      {==}