Arc.direct: def of near-architecture@0.9.1.0 Import: import near-architecture@0.9.1.0/arc.bend as Arc Lines 539-544 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=539&end_line=544 import Base def direct(+want: Cap, xs: List<&2, Container>) -> Nat: match xs: case []: 0n case c <> rest: Nat.add(count_in(want, caps(c)), direct(want, rest)) 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=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add 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=count_in