def truth
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
522def truth(value: Bool) -> Data:
523 match value:
524 case True{}:
525 Unit
526 case False{}:
527 Empty
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
522def truth(value: Bool) -> Data:
523 match value:
524 case True{}:
525 Unit
526 case False{}:
527 Empty