haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/ExtractBinding/SectionWithLocals.hs

module Refactor.ExtractBinding.SectionWithLocals where

a x = let y = 2
          z = 3
          (<->) = (-)
       in x <-> (y + z)