Evaluate an expression of the form FunCall$($e$,[$e$1,...,$ek$])$ where e is the expr for the called function, and e$1,...,$ ek are exprs for the arguments of this call. There are arguments.

$($A$)$ Evaluating e must yield a closure of the form

$.$

$($B$)$ The number of arguments for the closure

must equal that of the function call

$.$

$($C$)$ Evaluating each of the

arguments ei for must yield where

is not error.

$($D$)$ Then the result of evaluating the call is the same as that of evaluating fBody under the environment

extended by mapping the formal parameters id$1..,$ idk to $,$ respectively.