def truth

import bendtorch-core@0.1.0.0/src/autograd/backward_PROOF.bend as BackwardPROOF

import Base

5def truth(value: Bool) -> Data:
6  match value:
7    case True{}:
8      Unit
9    case False{}:
10      Empty

Uses (3)