def uq.cv

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

import Base

390def uq.cv(c: Bool) -> Nat:
391  match c:
392    case True{}:
393      1n
394    case False{}:
395      0n

Uses (2)