Xml.attrs.remove: def of gralha-xml-doc@0.1.0.1
Import: import gralha-xml-doc@0.1.0.1/xml.bend as Xml
Lines 377-384 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=377&end_line=384

import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

# Editor support: identifiers are private metadata and never serialized.
def attrs.remove(+as: List<&2, Attr>, +key: String) -> List<&2, Attr>:
  match as:
    case Nil{}: Nil{}
    case Con{Attr{k, v}, rest}:
      +kk = k
      U.branch(List<&2, Attr>, U.string.equal(kk, key), _ => attrs.remove(rest, key),
        _ => Con{Attr{kk, v}, attrs.remove(rest, key)})

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=branch
  https://jend.leeeet.dev/definition.txt?path=gralha-text-scan@0.1.0.1/scan.bend&name=string.equal
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Attr