This module provides PureRewriter , an implementation for the QueryRewriterWithCompilation interface. Have a look at the rewriting example to see how to use this class.
The standalone tool Pure is based on this module and exposes its functionalities.