def attributes.close

gralha-xml-doc@0.1.0.1 · xml.bend:155

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

155def attributes.close(scan: U.Scan, attrs: List<&2, Attr>) -> Tag:
156  U.Scan{h, t} = scan
157  Tag{attrs, t, True{}}
158
159@unsafe