Xml.rev.next.at: def of gralha-xml-doc@0.1.0.1
Import: import gralha-xml-doc@0.1.0.1/xml.bend as Xml
Lines 36-39 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=36&end_line=39

import Base

def rev.next.at(semi: Bool, +ch: U32, t: String) -> Step:
  match semi:
    case True{}: entity.take(t, "", 0)
    case False{}: Step{0, ch, "", t}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=gralha-xml-doc@0.1.0.1/xml.bend&name=entity.take