Cli.parse.req: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 1061-1064 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1061&end_line=1064

import Base

# a required Arg without a default, as a missing name
def parse.req(aa: Arg) -> Maybe<&2, String>:
  Arg{+n, _s, _l, _k, _h, +req, Fallback{_e, default}, _c} = aa
  parse.req.go(req, Maybe.is_none(&2, String, default), n)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.is_none
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Fallback
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=parse.req.go