~/jendhub

def nat

cli@0.2.0.0 · cli.bend:4623

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

4623def nat(m: Matches, id: String) -> Dec(Nat):
4624  read_with(~Nat, ~(f => get_one(~Nat, ~nat_of, f)),
4625    WValue{"nat", ReadOne{}}, m, id)

Uses (9)

Used by (0)

No other definition uses this definition.