def and_false

bendtorch-core@0.1.0.0 · src/autograd/backward_PROOF.bend:430

import Base

430def and_false(+value: Bool) -> {Bool.and(value, False{}) == False{} : Bool}:
431  match value:
432    case True{}:
433      {==}
434    case False{}:
435      {==}