def elements.count

import gralha-xml-doc@0.1.0.1/xml.bend as Xml

import Base

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

Uses (4)

U32
List
U32.add
gralha-xml-doc@0.1.0.1/xml:Element

Used by (0)

No other definition uses this definition.