Substitution1.init() Substitution1.answer Substitution1.substExpression Substitution1.hint3

Which subcase of case 1 in the substitution algorithm must be considered first when performing the following substitution?

           substExpression
CorrectAnswer
  1. 1a
  2. 1b
  3. This is not an instance of case 1

First, determine whether case 1 applies or not based on the type of lambda expression that you are substituting into.

If case 1 is applicable, check whether the variable you are substituting for is equal to the lambda expression you are substituting into.

hint3