def truth

import bendtorch-core@0.1.0.0/src/storage/arith.bend as Arith

import Base

423def truth(value: Bool) -> Data:
424  match value:
425    case True{}:
426      Unit
427    case False{}:
428      Empty

Uses (3)