在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

subst x y z


网络释义
假设我们要定义函数
假设我们要定义函数 (subst x y z), 它取表达式 x , 原子 y 和表 z 做参数,返回一个象 z 那样的表, 不过 z 中出现的 y (在任何嵌套层次上)被 x 代替.
* 以上查询结果来自于网络,仅供参考。
正在查询...