def bo.disc

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:172

import Base

172def bo.disc(b: Bool) -> Type:
173  match b:
174    case False{}:
175      Unit
176    case True{}:
177      Empty