def bit_value

import bend-collections@1.0.0.0/src/containers/bitset.bend as Bitset

import Base

95def bit_value(b: Bool) -> Nat:
96  match b:
97    case True{}:
98      1n
99    case False{}:
100      0n

Uses (2)