def ud.bool_disc

import bend-osdev-u32@0.1.0.0/PROOF_div.bend as PROOFDiv

import Base

36def ud.bool_disc(b: Bool) -> Type:
37  match b:
38    case True{}:
39      Unit
40    case False{}:
41      Empty

Uses (3)