[silver:xml]
Contents of [silver:xml]
:
Defined in this grammar:
Contained in grammar [silver:xml]
. Defined at silver/xml/XMLTools.sv line 11.
WARNING!
WARNING: this is buggy! we’re parsing a file without demanding an IO token!! WILL CHANGE IN THE FUTURE.