Cfgio.profile_name_args: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
Lines 347-354 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=347&end_line=354

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

def profile_name_args(+root: String, rest: List<&2, String>) -> IO(Cmd.Out):
  match rest:
    case Nil{}:
      profile_export(root, None{})
    case Con{n, Nil{}}:
      profile_export(root, Some{n})
    case Con{n, Con{x, t}}:
      IO.pure(Cmd.Out, usage("profile", "unrecognized arguments: " ++ String.join(Con{x, t}, " ")))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=profile_export
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=usage
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out