Searched defs:into_pos (Results 1 – 3 of 3) sorted by relevance
75 into_pos) in check_paramod_ordering_constraint()925 ClausePos_p into_pos, bool no_top, in ClausePosFirstParamodPair()965 into_pos, bool no_top, bool simu_paramod) in ClausePosNextParamodPair()
61 ClausePos_p into_pos; member
821 struct ilist *into_pos) in identity_paramod()2137 struct ilist *ip, *ip_save, *from_pos, *into_pos; in translate_paramod() local