~/jendhub

def nat_opt

cli@0.2.0.0 · cli.bend:4627

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

4627def nat_opt(m: Matches, id: String) -> Dec(Maybe<&2, Nat>):
4628  read_with(~Maybe<&2, Nat>, ~(f => get_opt(~Nat, ~nat_of, f)),
4629    WValue{"nat", ReadOpt{}}, m, id)

Uses (10)

Used by (0)

No other definition uses this definition.