Ops.from_each: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/domain/architecture/view/ops.bend as Ops Lines 304-311 of near-v-framework@0.4.0.0/domain/architecture/view/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&start_line=304&end_line=311 import Base import near-v-framework@0.4.0.0/general/compound/edge/type.bend as E def from_each(ps: List<&2, Placed>, +all: List<&2, Placed>, +x: String, +y: String, +d: String, +t: String, +rest: List<&2, E.Edge>) -> List<&2, E.Edge>: match ps: case []: rest case p <> more: match p: case Placed{pk, +pp}: from_here(String.eq(pk, x), all, pp, y, d, t, from_each(more, all, x, y, d, t, rest)) Uses (6): 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=String.eq https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=Placed https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/view/ops.bend&name=from_here https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/compound/edge/type.bend&name=Edge