Ops.places: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/general/rose/ops.bend as Ops Lines 31-38 of near-v-framework@0.4.0.0/general/rose/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/general/rose/ops.bend&start_line=31&end_line=38 import Base import near-v-framework@0.4.0.0/general/rose/type.bend as R def places(-N: Data, rs: List<&2, R.Rose>, +above: List<&2, String>) -> List<&2, Place>: match rs: case []: [] case r <> rest: match r: case R.Rose{+k, _, kids}: Place{k, above} <> List.append(&2, Place, places(N, kids, k <> above), places(N, rest, above)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/rose/ops.bend&name=Place https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/rose/type.bend&name=Rose