Xml.elements.count: def of gralha-xml-doc@0.1.0.1
Import: import gralha-xml-doc@0.1.0.1/xml.bend as Xml
Lines 473-476 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=473&end_line=476

import Base

def elements.count(xs: List<&2, Element>) -> U32:
  match xs:
    case Nil{}: 0
    case Con{Element{name, attrs, kids, text}, rest}: (1 + elements.count(kids) + elements.count(rest) : U32)

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