def serialize.attrs
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
import gralha-text-scan@0.1.0.1/scan.bend as U
438def serialize.attrs(as: List<&2, Attr>) -> String:
439 U.rev(serialize.attrs.rev(as, ""), "")
Uses (5)
Used by (0)
No other definition uses this definition.