Common.Owners.ordered: def of bend-lint-pack@0.1.1.0 Import: import bend-lint-pack@0.1.1.0/common.bend as Common Lines 60-64 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=60&end_line=64 import Base # The owners in order of first appearance. def Owners.ordered(o: Owners) -> List<&2, Seen>: match o: case Owners{list, set}: List.reverse(&2, Seen, list) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Owners https://jend.leeeet.dev/definition.txt?path=bend-lint-pack@0.1.1.0/common.bend&name=Seen