def uq.cb

import bend-osdev-algo@0.1.0.0/proof_u32.bend as ProofU32

import Base

252def uq.cb(c: Bool) -> Nat:
253  match c:
254    case True{}:
255      0n
256    case False{}:
257      1n

Uses (2)