4

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

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

What does :<> mean?

Improve this question

1 Answer 1

Reset to default
2

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

Improve this answer
Sign up to request clarification or add additional context in comments.

Comments