Relock.keep.effects: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/ws/relock.bend as Relock Lines 150-156 of ezx@1.11.0.0/src/ws/relock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/relock.bend&start_line=150&end_line=156 import Base import ezx@1.11.0.0/src/lock/plan.bend as LP # every effect of the command at the root, so def keep.effects(+old: String, es: List<&2, LP.Effect>) -> List<&2, LP.Effect>: match es: case []: [] case hd <> tl: keep.effect(old, hd) <> keep.effects(old, tl) Uses (4): 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=ezx@1.11.0.0/src/lock/plan.bend&name=Effect https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/relock.bend&name=keep.effect