Searched refs:AtomDollarU (Results 1 – 5 of 5) sorted by relevance
80 AtomDollarU = AtomAdjust(AtomDollarU);
83 Yap_heap_regs->term_dollar_u = MkAtomTerm(AtomDollarU);
80 AtomDollarU = Yap_FullLookupAtom("$u");
156 #define AtomDollarU Yap_heap_regs->AtomDollarU_ macro
86 Term term_dollar_u TermDollarU MkAT AtomDollarU