letDropping
:: [Rule] -> [Rule]
|
insertLetInRule
:: [Rule] -> Rule -> Rule
|
insertLetInExp
:: [Rule] -> Term -> Term
|
replaceLetCall
:: String -> [Term] -> Int -> Rule -> Term
|
|
|
|
|
|
|
|
|