Store.current3b: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store.bend as Store
Lines 307-312 of cswap-bend-cli@0.1.0.0/store.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/store.bend&start_line=307&end_line=312

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/base.bend as SBase
import cswap-bend-cli@0.1.0.0/store/plan.bend as SPlan

def current3b(+root: String, +ctx: SBase.Ctx, +alias: String, +slot0: Maybe<&2, U32>, +assume_yes: Bool, +ts: String, +seq: Json.Json, +cfg_text: String, parsed: Result<&2, &2, String, Json.Json>, fetch: String -> IO(SPlan.Prof)) -> Act.of(String):
  match parsed:
    case Fail{e}:
      Act.fail(String, 1, no_login())
    case Done{+cfg}:
      current3c(String.is_empty(id_email(ident_of(cfg))), root, ctx, alias, slot0, assume_yes, ts, seq, cfg_text, cfg, fetch)

Uses (16):
  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=Maybe
  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=Base/base.bend&name=String.is_empty
  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/act.bend&name=fail
  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/base.bend&name=Ctx
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/plan.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=current3c
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=id_email
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ident_of
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=no_login