ReferenceDirections.DasCtx: type of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections
Lines 51-59 of unified-nsga-iii@0.2.2.0/reference_directions.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&start_line=51&end_line=59

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat