Home
last modified time | relevance | path

Searched refs:FunctorArrow (Results 1 – 4 of 4) sorted by relevance

/dports/lang/yap/yap-6.2.2/H/
H A Dratoms.h323 FunctorArrow = FuncAdjust(FunctorArrow);
H A Diatoms.h323 FunctorArrow = Yap_MkFunctor(AtomArrow,2);
H A Dtatoms.h642 #define FunctorArrow Yap_heap_regs->FunctorArrow_ macro
/dports/lang/yap/yap-6.2.2/C/
H A Dcompiler.c1358 if (f == FunctorComma || f == FunctorOr || f == FunctorVBar || f == FunctorArrow) { in IsTrueGoal()
1600 FunctorOfTerm(arg) == FunctorArrow;
1763 else if (f == FunctorArrow) {