def stack.close
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
254def stack.close(s: List<&2, Element>) -> List<&2, Element>:
255 match s:
256 case Nil{}: Nil{}
257 case Con{node, rest}: stack.add(rest, element.finish(node))
import gralha-xml-doc@0.1.0.1/xml.bend as Xmlimport Base
254def stack.close(s: List<&2, Element>) -> List<&2, Element>:
255 match s:
256 case Nil{}: Nil{}
257 case Con{node, rest}: stack.add(rest, element.finish(node))