~/jendhub

def and_right_true

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

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

300def and_right_true(+left: Bool, +right: Bool, equal: {Bool.and(left, right) == True{} : Bool}) -> {right == True{} : Bool}:
301  match left:
302    case False{}:
303      Empty.absurd({right == True{} : Bool}, false_true(Equal.sym(Bool, False{}, True{}, equal)))
304    case True{}:
305      equal

Uses (5)

Used by (1)