def skip_kind

unified-nsga-iii@0.2.2.0 · sbx.bend:81

import Base

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