Lines Matching defs:tmPtr
51 DF_TermPtr HOPU_lamBody(DF_TermPtr tmPtr) in HOPU_lamBody()
368 DF_TermPtr tmPtr = DF_termDeref(args); in HOPU_raise() local
402 DF_TermPtr tmPtr = DF_termDeref(args2); in HOPU_prune() local
458 DF_TermPtr tmPtr = DF_termDeref(args2); in HOPU_pruneAndRaise() local
869 int nargs2, DF_TermPtr tmPtr, int emblev) in HOPU_flexNestedSubst()
916 DF_TermPtr tmPtr, int emblev) in HOPU_flexNestedSubstC()
1015 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; in HOPU_flexMkSubst() local
1050 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; in HOPU_flexMkSubst() local
1183 static void HOPU_mkConsOrApp(DF_TermPtr tmPtr, DF_TermPtr funcPtr, in HOPU_mkConsOrApp()
1255 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; //new cons or app in HOPU_rigNestedSubst() local
1263 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; //new cons or app in HOPU_rigNestedSubst() local
1315 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; //new cons or app in HOPU_rigNestedSubstC() local
1322 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; in HOPU_rigNestedSubstC() local
1368 DF_TermPtr tmPtr = (DF_TermPtr)AM_hreg; in HOPU_rigMkSubst() local