~/jendhub

def nth_comp.fallback

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

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

61def nth_comp.fallback(m: Nat, p: Nat) -> List<&2, Nat>:
62  match m:
63    case 0n:
64      Nil{}
65    case 1n:
66      [p]
67    case 1n+rd:
68      0n <> nth_comp.fallback(rd, p)

Uses (2)

Used by (1)