def drop_account
import cswap-bend-cli@0.1.0.0/store/seq.bend as Seqimport Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
187# Forget slot `num`: its record and its place in `sequence`.
188def drop_account(+seq: Json.Json, +num: String) -> Json.Json:
189 Json.set("sequence", nums_json(without(str_u32(num), seq_nums(seq))),
190 Json.set("accounts", Json.del(num, accounts_of(seq)), seq))