SXMLShrink is an optimization pass for the SXML IntermediateLanguage, invoked from SXMLSimplify.

Description

This pass performs optimizations based on a reduction system.

Implementation

shrink.sig shrink.fun

Details and Notes

SXML shares the XMLShrink simplifier.