def b2n

import bend-collections-laws-crypto@1.0.0.0/spec/math/f64.bend as F64

import Base

86def b2n(b: Bool) -> Nat:
87  match b:
88    case True{}:
89      1n
90    case False{}:
91      0n

Uses (2)