Searched defs:Push_Witness (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Demu_export.h984 #define Push_Witness TG++->tag.kernel = TNIL; macro

Completed in 79 milliseconds