def names

cswap-bend-cli@0.1.0.0 · profile.bend:158

import cswap-bend-cli@0.1.0.0/profile.bend as Profile

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

158# The built-ins, then the stored profiles that are not built-ins, file order.
159def names(+raw: Json.Json) -> List<&2, String>:
160  List.append(&2, String, builtin_names(), extra_names(profiles_keys(Json.get("profiles", raw))))

Uses (8)

Used by (2)