ReferenceDirections.comps_all: def of unified-nsga-iii@0.2.2.0 Import: import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections Lines 107-108 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=107&end_line=108 import Base import unified-nsga-iii@0.2.2.0/util.bend as Util def comps_all(+m: Nat, +p: Nat) -> List<&2, List<&2, Nat>>: Util.map_halves(~Nat, ~List<&2, Nat>, ~DasCtx, ~nth_row, DasCtx{m, p}, List.range(count(m, p))) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.range https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&name=DasCtx https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&name=count https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/reference_directions.bend&name=nth_row https://jend.leeeet.dev/definition.txt?path=unified-nsga-iii@0.2.2.0/util.bend&name=map_halves