def clear_dead

cswap-bend-cli@0.1.0.0 · urec.bend:243

import cswap-bend-cli@0.1.0.0/urec.bend as Urec
import Base
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore

243# Lift the dead-token quarantine of slots whose credential was replaced.
244def clear_dead(+root: String, ids: List<&2, Ustore.Id>) -> Act.of(Unit):
245  Ustore.with_usage_lock(Unit, root, clear.act(root, ids))

Uses (7)

Used by (2)