def verdict.a

import unified-nsga-iii@0.2.2.0/non_dominated_sort.bend as NonDominatedSort

import Base

61def verdict.a(bb: Bool) -> Nat:
62  match bb:
63    case True{}:
64      0n
65    case False{}:
66      1n

Uses (2)