Oauth2.fresh.go: def of bend-kit-oauth2@0.11.0.1
Import: import bend-kit-oauth2@0.11.0.1/oauth2.bend as Oauth2
Lines 225-230 of bend-kit-oauth2@0.11.0.1/oauth2.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&start_line=225&end_line=230

import Base
import bend-kit-hairpin@0.13.0.1/hairpin.bend as Hairpin

def fresh.go(due: Bool, h: Hairpin.Client, cfg: Config, +tok: Token) -> IO(Hairpin.Client & Result<&1, &1, Err, Token>):
  match due:
    case True{}:
      refresh(h, cfg, tok, "")
    case False{}:
      IO.pure(Hairpin.Client & Result<&1, &1, Err, Token>, (h, Done{tok}))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hairpin@0.13.0.1/hairpin.bend&name=Client
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=Config
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=Err
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=Token
  https://jend.leeeet.dev/definition.txt?path=bend-kit-oauth2@0.11.0.1/oauth2.bend&name=refresh