Cli.nat: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 4623-4625 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4623&end_line=4625

import Base

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

Uses (9):
  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=Form
  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