~/jendhub

def das_dennis.from

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

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

110def das_dennis.from(+m: Nat, +p: Nat, rest: Nat) -> List<&2, List<&2, F32>>:
111  match rest:
112    case 0n:
113      [[1.0]]
114    case 1n+q:
115      to_dirs(p, comps_all(m, p))

Uses (5)

Used by (1)