Module LetDropping

Summary of exported operations:

letDropping
                  ::  [Rule] -> [Rule]

insertLetInRule
                  ::  [Rule] -> Rule -> Rule

insertLetInExp
                  ::  [Rule] -> Term -> Term

replaceLetCall
                  ::  String -> [Term] -> Int -> Rule -> Term

replaceLetCall :: String -> [Term] -> Int -> Rule -> Term