ATerm SSL_indexedSet_create(ATerm, ATerm) ;
ATerm SSL_indexedSet_destroy(ATerm) ;
ATerm SSL_indexedSet_reset(ATerm) ;
ATerm SSL_indexedSet_put(StrCL on_old, ATerm, ATerm) ;
ATerm SSL_indexedSet_remove(ATerm, ATerm) ;
ATerm SSL_indexedSet_elements(ATerm) ;
ATerm SSL_indexedSet_getIndex(ATerm, ATerm) ;
ATerm SSL_indexedSet_getElem(ATerm, ATerm) ;
