~/jendhub

def and_left_true

bendtorch-core@0.1.0.0 · src/tensor/lifecycle.bend:293

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

293def and_left_true(+left: Bool, +right: Bool, equal: {Bool.and(left, right) == True{} : Bool}) -> {left == True{} : Bool}:
294  match left:
295    case False{}:
296      Empty.absurd({False{} == True{} : Bool}, false_true(Equal.sym(Bool, False{}, True{}, equal)))
297    case True{}:
298      {==}

Uses (5)

Used by (1)