int CSureadATerm(CompressedStream *cs, ATerm *term){
if (BSreadString(cs->bs,buffer)){
/*
ATfprintf(stderr, "Read ATerm %t\n", ATmake("<appl>", str));
*/
*term=ATreadFromString(buffer);
return 1;
} else {
return 0;
}
}
ATerm SSL_read_term_from_string(ATerm str_term) {
if(!ATisString(str_term)) return NULL;
const char* str = AT_getString(str_term);
ATerm result = ATreadFromString(str);
if(result == NULL) {
ATfprintf(stderr, "not a valid term\n");
_fail(str_term);
}
return result;
}