Searched refs:FunctorArrow (Results 1 – 4 of 4) sorted by relevance
323 FunctorArrow = FuncAdjust(FunctorArrow);
323 FunctorArrow = Yap_MkFunctor(AtomArrow,2);
642 #define FunctorArrow Yap_heap_regs->FunctorArrow_ macro
1358 if (f == FunctorComma || f == FunctorOr || f == FunctorVBar || f == FunctorArrow) { in IsTrueGoal()1600 FunctorOfTerm(arg) == FunctorArrow;1763 else if (f == FunctorArrow) {