haskell-tools-refactor-0.5.0.0: examples/Refactor/ExtractBinding/SectionWithLocals_res.hs

module Refactor.ExtractBinding.SectionWithLocals where

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