Svg.image.svg.normalized: def of gralha-svg-render@0.1.0.1
Import: import gralha-svg-render@0.1.0.1/svg.bend as Svg
Lines 3861-3864 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=3861&end_line=3864

import Base
import gralha-xml-doc@0.1.0.1/xml.bend as XML

def image.svg.normalized(root: XML.Element, size: Point) -> XML.Element:
  XML.Element{n, as, kids, txt} = root
  Point{w, h} = size
  XML.Element{n, Con{XML.Attr{"width", F32.show(w)}, Con{XML.Attr{"height", F32.show(h)}, as}}, kids, txt}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.show
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=Point
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Attr
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Element