def falsity

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

import Base

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

Uses (3)