Importu.name.of: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/importu.bend as Importu Lines 156-161 of cswap-bend-cli@0.1.0.0/importu.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/importu.bend&start_line=156&end_line=161 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json def name.of(m: Maybe<&2, String>, +label: String, out: Json.Json) -> Result<&2, &2, String, Json.Json>: match m: case Some{+n}: name.keep(String.is_empty(n), n, label, out) case None{}: Fail{label ++ ".name must be a non-empty string"} 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=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.is_empty https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/importu.bend&name=name.keep https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json