Xml.decode.nodes: def of gralha-xml-doc@0.1.0.1
Import: import gralha-xml-doc@0.1.0.1/xml.bend as Xml
Lines 367-372 of gralha-xml-doc@0.1.0.1/xml.bend: https://jend.leeeet.dev/read.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&start_line=367&end_line=372

import Base

# Attribute values were decoded as they were read; text still is here.
def decode.nodes(xs: List<&2, Element>) -> List<&2, Element>:
  match xs:
    case Nil{}: Nil{}
    case Con{Element{n, as, kids, txt}, rest}:
      Con{Element{n, as, decode.nodes(kids), entities(txt)}, decode.nodes(rest)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Element
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=entities