def bn

lawful-words@0.1.0.0 · proof_nat.bend:91

import Base

91# A Bool as a number: 0 or 1.
92def bn(b: Bool) -> Nat:
93  match b:
94    case False{}:
95      0n
96    case True{}:
97      1n