def bv

bend-collections-laws-crypto@1.0.0.0 · proofs/math/random/bits.bend:16

import Base

16def bv(b: Bool) -> Nat:
17  match b:
18    case True{}:
19      1n
20    case False{}:
21      0n