Searched defs:pending_oracle (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
| H A D | types.h | 394 char *pending_oracle; member in struct:control::invocation_frame 511 char * pending_oracle; /* will become followed_oracle */ member in struct:machine |
Completed in 20 milliseconds