什么：＆lt;＆gt;在函数声明中意味着什么？

Question

文件funset_nil中的libats/ML/SATS/funset.sats声明为：

fun{} funset_nil{a:t0p} ():<> set(a)

:<>是什么意思？

Answer 1

这表明该功能是纯粹的。不会产生任何影响。请参阅https://github.com/githwxi/ATS-Postiats/wiki/effects。