def one_if_there

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

1342def one_if_there(b: Bool) -> Nat:
1343  match b:
1344    case True{}:
1345      0n
1346    case False{}:
1347      1n

Uses (2)