Cli.count: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 4607-4609 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4607&end_line=4609 import Base def count(m: Matches, id: String) -> Dec(Nat): read_with(~Nat, ~(f => get_one(~Nat, ~nat_of, f)), WCount{}, m, id) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Dec https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Matches https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Want https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=get_one https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=nat_of https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=read_with