Searched refs:p_succ (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
| H A D | bip_arith.c | 127 p_succ(value x, type tx, value y, type ty) function 2171 built_in(in_dict("succ", 2), p_succ, B_UNSAFE|U_SIMPLE) |
Completed in 16 milliseconds