Searched defs:same_succ_reset (Results 1 – 2 of 2) sorted by relevance
653 same_succ_reset (same_succ *same) in same_succ_reset() function