def and_true

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_PROOF.bend:284

import Base

284def and_true(+value: Bool) -> {Bool.and(value, True{}) == value : Bool}:
285  match value:
286    case True{}:
287      {==}
288    case False{}:
289      {==}