def points.add
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
1228def points.add(points: List<&2, Point>, a: Point, b: Point) -> List<&2, Point>:
1229 match points:
1230 case Nil{}: Con{b, Con{a, Nil{}}}
1231 case Con{h, t}: Con{b, Con{h, t}}