def and_true

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

import Base

423def and_true(+value: Bool) -> {Bool.and(value, True{}) == value : Bool}:
424  match value:
425    case True{}:
426      {==}
427    case False{}:
428      {==}