def nd_or_all

unified-nsga-iii@0.2.2.0 · normalization.bend:125

import Base

125def nd_or_all(nd: List<&2, Nat>, n: Nat) -> List<&2, Nat>:
126  match nd:
127    case Nil{}:
128      List.range(n)
129    case h <> t:
130      h <> t