def verdict.b

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

import Base

68def verdict.b(bb: Bool) -> Nat:
69  match bb:
70    case True{}:
71      2n
72    case False{}:
73      0n

Uses (2)