def truth

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_PROOF.bend as TensorBackwardPROOF

import Base

434def truth(value: Bool) -> Data:
435  match value:
436    case True{}:
437      Unit
438    case False{}:
439      Empty

Uses (3)