Collectrun.clear_if: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/collectrun.bend as Collectrun Lines 127-132 of cswap-bend-cli@0.1.0.0/collectrun.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/collectrun.bend&start_line=127&end_line=132 import Base import cswap-bend-cli@0.1.0.0/urec.bend as Urec import cswap-bend-cli@0.1.0.0/act.bend as Act import cswap-bend-cli@0.1.0.0/ustore.bend as Ustore def clear_if(+root: String, ids: List<&2, Ustore.Id>) -> Act.of(Unit): match ids: case Nil{}: Act.pure(Unit, Unit{}) case Con{h, t}: Urec.clear_dead(root, h <> t) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit 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/act.bend&name=pure https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/urec.bend&name=clear_dead https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/ustore.bend&name=Id