def path.finish
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
519def path.finish(+p: Path) -> List<&2, Edge>:
520 Path{cur, start, ctrl, cmd, prev, es, trace, tol} = p
521 U.choose(List<&2, Edge>, U32.is_eq(prev, 0), Nil{}, Con{edge.of(cur, start, False{}, False{}), es})