subst x y z的意思|示意
美 / /
英 / /
代入x y z
subst x y z的网络常见释义
假设我们要定义函数 假设我们要定义函数 (subst x y z), 它取表达式 x , 原子 y 和表 z 做参数,返回一个象 z 那样的表, 不过 z 中出现的 y (在任何嵌套层次上)被 x 代替.