Cred.refresh.build: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/usage/cred.bend as Cred
Lines 163-169 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=163&end_line=169

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

def refresh.build(+j: Json.Json, +o: Json.Json, +resp: Json.Json, +now: U32) -> Maybe<&2, String>:
  do Maybe<&2, String>:
    a : Json.Json <- Json.get("access_token", resp)
    at : String <- Json.as_string(a)
    e : Json.Json <- Json.get("expires_in", resp)
    ex : U32 <- Json.as_u32(e)
    return Json.emit_py(Json.set("claudeAiOauth", refresh.fields(o, at, ex, str.at("refresh_token", resp), str.at("scope", resp), now), j))

Uses (13):
  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=Maybe.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  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=as_u32
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=emit_py
  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/json.bend&name=set
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&name=refresh.fields
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/usage/cred.bend&name=str.at