def add_right

bend-visgraph@2.0.0.0 · visgraph.bend:153

import Base

153# A visible point right of the pivot a: the edge (a, b).
154def add_right(seen: Bool, +k: Weight, +lo: F32, +hi: F32, ia: U32, ib: U32, xa: F32, xb: F32, ya: F32, yb: F32, s: F32, es: Edges) -> Edges:
155  match seen:
156    case True{}:
157      add_edge(k, lo, hi, ia, ib, xa, xb, ya, yb, s, es)
158    case False{}:
159      es