What does :<> mean in a function declaration?

Question

The declaration of funset_nil in the file libats/ML/SATS/funset.sats reads:

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

What does :<> mean?

score 2 · Accepted Answer · answered Sep 26 '16 at 13:55

2

This indicates that the function is pure. No effects shall occur. Please see https://github.com/githwxi/ATS-Postiats/wiki/effects.

answered Sep 26 '16 at 13:55

Steinway Wu

1 Answers1