OneIdentity

OneIdentity
是一个属性,可用于赋给一个符号 f 来指定 , 等,对模式匹配的目的来说,它们都等价于 x.

更多信息更多信息

1988年引入
(1.0)
| 2003年更新
(5.0)