Ops.keep_edge: 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 85-87 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=85&end_line=87 import Base import near-v-framework@0.4.0.0/general/compound/edge/type.bend as E # An edge is kept when both ends show, as two different things, not already drawn. def keep_edge(+a: String, +b: String, l: String, t: String, +rest: List<&2, E.Edge>) -> List<&2, E.Edge>: keep(Bool.not(String.is_empty(a)) && Bool.not(String.is_empty(b)) && Bool.not(String.eq(a, b)) && Bool.not(drawn(a, b, rest)), E.Edge{a, b, l, t}, rest) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not 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=Base/base.bend&name=String.is_empty https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/compound/edge/type.bend&name=Edge https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/compound/ops.bend&name=drawn https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/general/compound/ops.bend&name=keep