Searched refs:success_code (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dwrite.c1986 int success_code = PSUCCEED; local
2141 success_code = res;
2307 success_code = res;
2380 Return_Unify_Integer(verr, terr, success_code)

Completed in 42 milliseconds