def pred
import unified-nsga-iii@0.2.2.0/problems.bend as Problemsimport Base
223def pred(n: Nat) -> Nat:
224 match n:
225 case 0n:
226 0n
227 case 1n+p:
228 p
import unified-nsga-iii@0.2.2.0/problems.bend as Problemsimport Base
223def pred(n: Nat) -> Nat:
224 match n:
225 case 0n:
226 0n
227 case 1n+p:
228 p