def attr.append
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
144def attr.append(k: String, b: U.Scan, attrs: List<&2, Attr>) -> Next:
145 U.Scan{v, t} = b
146 next.of(Con{Attr{k, v}, attrs}, t)