Ops.token_refresh: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/ops.bend as Ops
Lines 123-128 of cswap-bend-cli@0.1.0.0/store/ops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&start_line=123&end_line=128

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store/seq.bend as SSeq
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan
import cswap-bend-cli@0.1.0.0/store/io.bend as SIo

def token_refresh(+root: String, +token: String, +api_key: Bool, +email: String, +ts: String, +seq: Json.Json, +num: String) -> Act.of(String):
  do ActM<String>:
    token_files(root, token, api_key, email, num)
    SIo.write_seq(root, SSeq.stamp(seq, ts))
    token_logs(root, "Updated " ++ SPlan.kind_label(api_key) ++ " for account " ++ num ++ ": " ++ email, api_key, email, num)
    return "Updated " ++ SPlan.kind_label(api_key) ++ " for Account " ++ num ++ " (" ++ email ++ " [personal])."

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/act.bend&name=of
  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/store/io.bend&name=write_seq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=token_files
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/ops.bend&name=token_logs
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=kind_label
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=stamp