Xml.entity.push: def of gralha-xml-doc@0.1.0.1
Import: import gralha-xml-doc@0.1.0.1/xml.bend as Xml
Lines 5-11 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=5&end_line=11

import Base

# Reverse a scan's accumulator while decoding XML entities: the reversed
# text shows an entity as its ';' first, then its name backwards, then '&';
# a ';' without a short name and '&' behind it is plain text.
def entity.push(+e: String, +out: String) -> String:
  match e:
    case SNil{}: out
    case SCon{c, t}: SCon{c, entity.push(t, out)}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String