Settings.spec_of.pick: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/settings.bend as Settings
Lines 346-352 of cswap-bend-cli@0.1.0.0/settings.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&start_line=346&end_line=352

import Base

# setting_spec: the spec of a dotted key, or the reference's error text.
def spec_of.pick(m: Maybe<&2, Spec>, key: String) -> Result<&2, &2, String, Spec>:
  match m:
    case Some{sp}:
      Done{sp}
    case None{}:
      Fail{"unknown setting '" ++ key ++ "'\nValid keys: " ++ String.join(dotted_all(specs()), ", ")}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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/settings.bend&name=Spec
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=dotted_all
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/settings.bend&name=specs