Arc.edges: def of near-architecture@0.9.1.0 Import: import near-architecture@0.9.1.0/arc.bend as Arc Lines 757-764 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=757&end_line=764 import Base def edges(xs: List<&2, Link>, +s: System) -> String: match xs: case []: "" case l <> rest: match l: case Link{src, dst, label, live}: path(src, s) ++ " -> " ++ path(dst, s) ++ ": \"" ++ label ++ "\" {class: " ++ style(live) ++ "}\n" ++ edges(rest, s) 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=String.append https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Link https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=System https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=path https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=style