Cred.grant.err.body: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/usage/cred.bend as Cred Lines 202-207 of cswap-bend-cli@0.1.0.0/usage/cred.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&start_line=202&end_line=207 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json def grant.err.body(r: Result<&2, &2, String, Json.Json>) -> Result<&2, &2, String, Granted>: match r: case Fail{m}: Fail{"transient"} case Done{b}: grant.err.pick(Json.as_string(Maybe.default(&2, Json.Json, Json.get("error", b), Json.JNull{}))) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default 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=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/cred.bend&name=Granted https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&name=grant.err.pick