Names.table: def of bend-lint-api@0.2.0.0 Import: import bend-lint-api@0.2.0.0/shared/names.bend as Names Lines 22-28 of bend-lint-api@0.2.0.0/shared/names.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&start_line=22&end_line=28 import Base # Each of `xs` with the name `show` gives it: a table for `lookup`, so that each name is written once, in `show`. def table(~A: Data, ~show: A -> String, xs: List<&2, A>) -> List<&2, Named>: match xs: case Nil{}: [] case Con{+x, rest}: Named{show(x), x} <> table(~A, ~show, rest) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=Named