def lines.shift
import gralha-coverage@0.1.0.1/cover.bend as Coverimport Base
1145def lines.shift(xs: List<&2, CovLine>, +dx: F32, +dy: F32) -> List<&2, CovLine>:
1146 match xs:
1147 case Nil{}: Nil{}
1148 case Con{CovLine{ax, ay, bx, by}, rest}: Con{CovLine{(ax - dx : F32), (ay - dy : F32), (bx - dx : F32), (by - dy : F32)}, lines.shift(rest, dx, dy)}
Uses (4)
Used by (0)
No other definition uses this definition.