Store.current_place2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store.bend as Store
Lines 245-252 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=245&end_line=252

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/io.bend as SIo

def current_place2(+root: String, +id: Ident, +creds: String, +cfg_text: String, +alias: String, +ts: String, +seq: Json.Json, +num: String, +displace: Maybe<&2, String>, +migrate: Maybe<&2, String>) -> Act.of(String):
  do ActM<String>:
    alias_conflict(seq, alias, num)
    s2 : Json.Json <- SIo.drop_pair(root, seq, displace, migrate, ts)
    refresh_files(root, id, creds, cfg_text, num)
    commit_active(root, place_seq(s2, id, num, ts, alias, seq, migrate), num, ts)
    place_log(root, id, num)
    return place_msg(id, migrate, num)

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=drop_pair
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ActM
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ActM.bind
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=ActM.pure
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=Ident
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=alias_conflict
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=commit_active
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=place_log
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=place_msg
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=place_seq
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store.bend&name=refresh_files