4 SXMLShrink is an optimization pass for the <:SXML:>
5 <:IntermediateLanguage:>, invoked from <:SXMLSimplify:>.
9 This pass performs optimizations based on a reduction system.
13 * <!ViewGitFile(mlton,master,mlton/xml/shrink.sig)>
14 * <!ViewGitFile(mlton,master,mlton/xml/shrink.fun)>
16 == Details and Notes ==
18 <:SXML:> shares the <:XMLShrink:> simplifier.