def disc

import bendtorch@1.3.0.0/PROOF.bend as PROOF

import Base

153def disc(b: Bool) -> Type:
154  match b:
155    case True{}:
156      Unit
157    case False{}:
158      Empty

Uses (3)