Arc.providers: def of near-architecture@0.9.1.0 Import: import near-architecture@0.9.1.0/arc.bend as Arc Lines 575-581 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=575&end_line=581 import Base # Keys of the containers that provide `want`. def providers(+want: Cap, xs: List<&2, Container>) -> List<&2, String>: match xs: case []: [] case +c <> rest: cons_if(Nat.is_gt(count_in(want, caps(c)), 0n), ckey(c), providers(want, rest)) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Cap https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Container https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=caps https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=ckey https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=cons_if https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=count_in