Language.Haskell.Liquid.Transforms.Rewrite

Top level rewrite function

rewriteBinds

Low-level Rewriting Function

Rewrite Rule