def b2n

bend-collections-laws-math@1.0.0.0 · spec/math/f64.bend:86

import Base

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