Alignment.ordered: def of bend-edit-distance@0.2.2.0 Import: import bend-edit-distance@0.2.2.0/src/Alignment.bend as Alignment Lines 23-26 of bend-edit-distance@0.2.2.0/src/Alignment.bend: https://jend.leeeet.dev/read.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&start_line=23&end_line=26 import Base def ordered(best: Best) -> Best: match best: case Best{score, locations}: Best{score, List.reverse(&2, Location, locations)} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=Best https://jend.leeeet.dev/definition.txt?path=bend-edit-distance@0.2.2.0/src/Alignment.bend&name=Location