def bounds.spec
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
import gralha-xml-doc@0.1.0.1/xml.bend as XML
2591def bounds.spec(+as: List<&2, XML.Attr>, box: Bounds) -> Bounds:
2592 +value = XML.attr.get(as, "#paint-box", "")
2593 +vs = U.numbers(value)
2594 U.choose(Bounds, U.string.equal(value, ""), box, Bounds{U.nth(vs, 0n, 0.0), U.nth(vs, 1n, 0.0), U.nth(vs, 2n, 0.0), U.nth(vs, 3n, 0.0)})