RuleDelayed


表示将 lhs 转换为 rhs 的规则,仅当使用规则后计算 rhs.

更多信息更多信息

1988年引入
(1.0)
| 1996年更新
(3.0)