def element.finish

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

import Base

240def element.finish(e: Element) -> Element:
241  Element{n, a, kids, txt} = e
242  Element{n, a, elements.rev(kids, Nil{}), txt}