def bits.disc2

bend-osdev-caps@0.1.0.0 · PROOF.bend:28

import Base

28def bits.disc2(b: Bool) -> Type:
29  match b:
30    case False{}:
31      Empty
32    case True{}:
33      Unit