iset operations are wrongly documented on the highest API view level here.

For example iset-add(ATerm elem) should be iset-add(|ATerm elem). The same holds for contains and eq.

Submitted by André Vieira on 14 September 2012 at 12:15