Setwrite.parse.choice2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setwrite.bend as Setwrite
Lines 89-94 of cswap-bend-cli@0.1.0.0/setwrite.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setwrite.bend&start_line=89&end_line=94

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

def parse.choice2(ok: Bool, dot: String, choices: String, raw: String) -> Parsed:
  match ok:
    case True{}:
      Good{Json.JStr{raw}}
    case False{}:
      Bad{dot ++ " must be one of: " ++ String.join(String.split(choices, ','), ", ")}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=Base/base.bend&name=String.split
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setwrite.bend&name=Parsed