Inside of solve, solve creates an environment where inside of that, it has bindings for the parameters it's going to use. All right?

在solve内部，solve创建了一个环境,在这个环境中它给她要使用的形参赋了值,明白吗？就像很多--等等？

麻省理工公开课 - 计算机科学及编程导论课程节选