[silver:xml]

Contents of [silver:xml]:

Defined in this grammar:

`function parseXMLFileN` (`ParseResult<XMLDocument> ::= filename::String` )

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.