def b2n

import bend-collections-laws-crypto@1.0.0.0/proofs/math/random/lemire.bend as Lemire

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/math/random/rand.bend as SR

25def b2n(b: Bool) -> Nat:
26  SR.b2n(b)

Uses (3)