Searched refs:reverseChainContextSingle (Results 1 – 1 of 1) sorted by relevance
1254 case ReverseChainSingle: return_trace (u.reverseChainContextSingle.dispatch (c)); in dispatch()1268 ReverseChainSingleSubst reverseChainContextSingle; member