def andff

bend-collections-laws-math@1.0.0.0 · proofs/math/typed/f64cmp.bend:273

import Base

273def andff(+a: Bool, +b: Bool) -> {Bool.and(a, Bool.and(b, False{})) == False{} : Bool}:
274  match a b:
275    case True{} True{}:
276      {==}
277    case True{} False{}:
278      {==}
279    case False{} _:
280      {==}