Searched refs:FunctorUPlus (Results 1 – 3 of 3) sorted by relevance
422 FunctorUPlus = FuncAdjust(FunctorUPlus);
422 FunctorUPlus = Yap_MkFunctor(AtomPlus,1);
840 #define FunctorUPlus Yap_heap_regs->FunctorUPlus_ macro