The variable bindings consist of a mapping from variable names to variable values.

• 变量绑定由一个从变量名到变量值得映射构成。