def dash.whole
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
1743def dash.whole(xs: List<&2, DashRun>, +total: F32) -> Bool:
1744 match xs:
1745 case Nil{}: False{}
1746 case Con{DashRun{s, e}, Nil{}}: F32.is_le(s, 0.0) && F32.is_ge(e, total)
1747 case Con{DashRun{s, e}, Con{g, t}}: False{}