def remove_res

cswap-bend-cli@0.1.0.0 · cliops.bend:220

import Base
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/store/seq.bend as SSeq
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/cmd.bend as Cmd

220def remove_res(r: SSeq.Resolved, +ctx: SBase.Ctx, +seq: Json.Json, +ident: String, +ni: Ni) -> Act.of(Cmd.Out):
221  match r:
222    case SSeq.RNone{}:
223      Act.fail(Cmd.Out, 3, "No account found with identifier: " ++ ident)
224    case SSeq.RAmb{msg}:
225      Act.fail(Cmd.Out, 1, msg)
226    case SSeq.RSlot{+n}:
227      remove_rec(SSeq.slot_record(seq, n), ctx, n, ni)