def and_true_left

bendtorch-core@0.1.0.0 · src/tensor/core_PROOF.bend:172

import Base
import bendtorch-core@0.1.0.0/src/tensor/lifecycle.bend as Lifecycle

172def and_true_left(+left: Bool, +right: Bool, equal: {Bool.and(left, right) == True{} : Bool}) -> {left == True{} : Bool}:
173  match left:
174    case False{}:
175      Empty.absurd({False{} == True{} : Bool}, Lifecycle.false_true(Equal.sym(Bool, False{}, True{}, equal)))
176    case True{}:
177      {==}