假设我们要定义函数 (subst x y z), 它取表达式 x , 原子 y 和表 z 做参数,返回一个象 z 那样的表, 不过 z 中出现的 y (在任何嵌套层次上)被 x 代替.
基于1个网页-相关网页
subst x y z
替换x y z
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动