The symbol table for variables is extended using the function bind, and the extended table is used for checking the body-expression and finding its type, ...
確定! 回上一頁