Svg.points.add: def of gralha-svg-render@0.1.0.1
Import: import gralha-svg-render@0.1.0.1/svg.bend as Svg
Lines 1228-1231 of gralha-svg-render@0.1.0.1/svg.bend: https://jend.leeeet.dev/read.txt?path=gralha-svg-render@0.1.0.1/svg.bend&start_line=1228&end_line=1231

import Base

def points.add(points: List<&2, Point>, a: Point, b: Point) -> List<&2, Point>:
  match points:
    case Nil{}: Con{b, Con{a, Nil{}}}
    case Con{h, t}: Con{b, Con{h, t}}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=Point