Searched refs:DF_isLam (Results 1 – 6 of 6) sorted by relevance
309 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_hnormApp()579 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_hnormAppOcc()984 while ((arity > 0) && (DF_isLam(funPtr))) { in HN_lnormApp()
287 Boolean DF_isLam(DF_TermPtr); // is abstraction?
494 while (DF_isLam(tmPtr)){ in PRINT_writeAbst()
373 Boolean DF_isLam(DF_TermPtr tmPtr) in DF_isLam() function
1676 while (DF_isLam(tmPtr)) { in SINSTR_switch_on_term()
54 while (DF_isLam(tmPtr)) tmPtr = DF_termDeref(DF_lamBody(tmPtr)); in HOPU_lamBody()