def drop_all

cswap-bend-cli@0.1.0.0 · daemon/quarantine.bend:105

import cswap-bend-cli@0.1.0.0/daemon/quarantine.bend as Quarantine
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/daemon/state.bend as St

105def drop_all(+rs: List<&2, Rel>, +st: Json.Json) -> Json.Json:
106  match rs:
107    case Nil{}:
108      st
109    case Con{Rel{s, e, r}, t}:
110      drop_all(t, St.release(st, s))

Uses (4)

Used by (1)