def skip_kind

unified-nsga-iii@0.2.2.0 · polynomial_mutation.bend:80

import Base

80def skip_kind(skip: Bool, tiny: Bool) -> Nat:
81  match skip:
82    case True{}:
83      0n
84    case False{}:
85      match tiny:
86        case True{}:
87          0n
88        case False{}:
89          1n