def digit

stelliferous@0.0.2.0 · proofs/u32_comparison.bend:3

import Base

3def digit(bit: Bool,n: Nat) -> Nat:
4  match bit:
5    case False{}:
6      Nat.double(n)
7    case True{}:
8      1n+Nat.double(n)