Ops.removal3: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/store/ops.bend as Ops
Lines 203-208 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=203&end_line=208

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

def removal3(+root: String, +seq: Json.Json, +num: String, +ts: String, +email: String) -> Act.of(String):
  do ActM<String>:
    SIo.archive_slot(root, num, email, ts)
    SIo.write_seq(root, SSeq.stamp(SSeq.drop_account(seq, num), ts))
    SIo.log(root, "INFO", "Removed account " ++ num ++ ": " ++ email ++ "; credential kept under credentials/.removed/")
    return active_warning(seq, num, email) ++ "Removed Account-" ++ num ++ " (" ++ email ++ ")"

Uses (14):
  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=archive_slot
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/io.bend&name=log
  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=active_warning
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=drop_account
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=stamp