Ops.removal2: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/store/ops.bend as Ops Lines 210-215 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=210&end_line=215 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 def removal2(+root: String, +seq: Json.Json, +num: String, +ts: String, +rec: Maybe<&2, Json.Json>) -> Act.of(String): match rec: case None{}: Act.fail(String, 3, "Account-" ++ num ++ " does not exist") case Some{r}: removal3(root, seq, num, ts, SSeq.field_str(r, "email")) Uses (8): 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=String.append 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/ops.bend&name=removal3 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/store/seq.bend&name=field_str