def refresh.rt
import cswap-bend-cli@0.1.0.0/usage/cred.bend as Credimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
248def refresh.rt(+j: Json.Json, +o: Json.Json, +m: Maybe<&2, String>) -> IO(Result<&2, &2, String, Granted>):
249 match m:
250 case None{}:
251 IO.pure(Result<&2, &2, String, Granted>, Fail{"no_refresh_token"})
252 case Some{rt}:
253 refresh.post(j, o, rt)