~/jendhub

def nats

cli@0.2.0.0 · cli.bend:4631

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

4631def nats(m: Matches, id: String) -> Dec(List<&2, Nat>):
4632  read_with(~List<&2, Nat>, ~(f => get_many(~Nat, ~nat_of, f)),
4633    WValue{"nat", ReadMany{}}, m, id)

Uses (10)

Used by (0)

No other definition uses this definition.