/* MP7: Update the TypeChecker class and Behavior Files 
 *        to handle LetRec and Multiple Argument Lambdas
 */

public class LetrecTypeChecker extends TypeChecker{
    /***********************
     * Your Code Goes Here *
     ***********************/
}