def b2n

import bend-kit-lemmas@0.1.1.0/lemmas.bend as Lemmas

import Base

276def b2n(b: Bool) -> Nat:
277  match b:
278    case False{}:
279      0n
280    case True{}:
281      1n

Uses (2)