def das_dennis.p0

unified-nsga-iii@0.2.2.0 · reference_directions.bend:117

import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
import Base

117def das_dennis.p0(rest: Nat) -> List<&2, List<&2, F32>>:
118  match rest:
119    case 0n:
120      [[1.0]]
121    case 1n+q:
122      Nil{}

Uses (3)

Used by (1)