(' a - >单位)是该类型的唯一功能吗?

时间:2015-10-25 11:22:32

标签: sml smlnj

我有一个功能:

fn a => ();

我想知道,这是唯一可以产生相同类型输出的函数:'a -> unit吗?

如果是,是否还有其他只有一种类型输出的函数?

谢谢!

0 个答案:

没有答案