Norm.scoped.name: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/norm.bend as Norm
Lines 152-158 of cswap-bend-cli@0.1.0.0/usage/norm.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/norm.bend&start_line=152&end_line=158

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

def scoped.name(+lim: Json.Json) -> Maybe<&2, String>:
  do Maybe<&2, String>:
    scope : Json.Json <- Json.get("scope", lim)
    model : Json.Json <- Json.get("model", scope)
    n : Json.Json <- Json.get("display_name", model)
    s : String <- Json.as_string(n)
    nonempty(Some{s})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/json.bend&name=as_string
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/norm.bend&name=nonempty