def dominates.is1

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:141

import Base

141def dominates.is1(p: Nat) -> Bool:
142  match p:
143    case 0n:
144      True{}
145    case 1n+q:
146      False{}