Ops.above_of: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/general/compound/ops.bend as Ops Lines 41-50 of near-v-framework@0.4.0.0/general/compound/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/general/compound/ops.bend&start_line=41&end_line=50 import Base import near-v-framework@0.4.0.0/general/rose/ops.bend as RO # ---- lifting: an edge as seen when only some keys are visible ---- # A key shows as itself when visible, else as its nearest visible ancestor, else not at all (""). def above_of(+k: String, ps: List<&2, RO.Place>) -> List<&2, String>: match ps: case []: [] case p <> rest: match p: case RO.Place{pk, ab}: Bool.pick(List<&2, String>, String.eq(k, pk), ab, above_of(k, rest)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick 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/general/rose/ops.bend&name=Place