type DasCtx

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

import Base

51# k-th composition of `p` into `m` parts, C# DFS order (first coord
52# increases 0..p). Enumerating `range(Count)` makes |DasDennis| = Count
53# by construction. @unsafe: Bool dispatch on `k < count(rest)` then
54# either shrinks M or advances i; fuel is a bound, not the shrink key.
55type DasCtx is Data:
56  DasCtx{
57    m: Nat
58    p: Nat
59  }