def pred_or_zero

unified-nsga-iii@0.2.2.0 · rng.bend:54

import Base

54def pred_or_zero(n: Nat) -> Nat:
55  match n:
56    case 0n:
57      0n
58    case 1n+p:
59      p