Svg.cover.lines.add: def of gralha-svg-render@0.1.0.1
Import: import gralha-svg-render@0.1.0.1/svg.bend as Svg
Lines 4101-4105 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=4101&end_line=4105

import Base
import gralha-coverage@0.1.0.1/cover.bend as Cov

# Local edges through m onto the frame's pixel grid in one pass.
def cover.lines.add(acc: Cov.CovLines, a: Point, b: Point) -> Cov.CovLines:
  Point{ax, ay} = a
  Point{bx, by} = b
  Cov.lines.add(acc, ax, ay, bx, by)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=CovLines
  https://jend.leeeet.dev/definition.txt?path=gralha-coverage@0.1.0.1/cover.bend&name=lines.add
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=Point