Searched refs:_erase_op (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | operator.c | 81 _erase_op(dident oper, word assoc, int scope, dident module, type mod_tag),
420 return _erase_op(v_op.did, iassoc, scope, vm.did, tm);
445 return _erase_op(v_op.did, iassoc, VISIBLE_PROP, v_mod.did,t_mod);
553 * _erase_op(oper, module) erase the definition of an operator
556 _erase_op(dident oper, word assoc, int scope, dident module, type mod_tag) function
|
Completed in 32 milliseconds