def AP.cb

import bend-osdev-array@0.1.0.1/PROOF.bend as PROOF

import Base

172def AP.cb(c: Bool) -> Nat:
173  match c:
174    case True{}:
175      0n
176    case False{}:
177      1n

Uses (2)