Searched refs:FunctorBraces (Results 1 – 5 of 5) sorted by relevance
329 FunctorBraces = FuncAdjust(FunctorBraces);
329 FunctorBraces = Yap_MkFunctor(AtomBraces,1);
654 #define FunctorBraces Yap_heap_regs->FunctorBraces_ macro
582 t = Yap_MkApplTerm(FunctorBraces, 1, &t); in ParseTerm()
1000 } else if (!wglb->Ignore_ops && functor == FunctorBraces) { in writeTerm()