def internal_bv
import bend-mathlib@0.8.1.0/u32.bend as U32import Base
75def internal_bv(b: Bool) -> Nat:
76 Bool.pick(Nat, b, 1n, 0n)
import bend-mathlib@0.8.1.0/u32.bend as U32import Base
75def internal_bv(b: Bool) -> Nat:
76 Bool.pick(Nat, b, 1n, 0n)