def nth_row

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

import Base

102def nth_row(+ctx: DasCtx, +k: Nat) -> List<&2, Nat>:
103  match ctx:
104    case DasCtx{+m, +p}:
105      nth_comp(m, p, k)