~/jendhub

def count

cli@0.2.0.0 · cli.bend:4607

import cli@0.2.0.0/cli.bend as Cli
import Base

4607def count(m: Matches, id: String) -> Dec(Nat):
4608  read_with(~Nat, ~(f => get_one(~Nat, ~nat_of, f)),
4609    WCount{}, m, id)

Uses (8)

Used by (0)

No other definition uses this definition.