def pred_or_zero

import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm

import Base

159def pred_or_zero(n: Nat) -> Nat:
160  match n:
161    case 0n:
162      0n
163    case 1n+p:
164      p

Uses (1)