def one_if

import near-architecture@0.9.1.0/arc.bend as Arc

import Base

225def one_if(b: Bool) -> Nat:
226  match b:
227    case True{}:
228      1n
229    case False{}:
230      0n

Uses (2)