Searched refs:tn_op (Results 1 – 1 of 1) sorted by relevance
432 TypeNode tn_op = op.getType(); in process() local451 if( n[i].getType()!=tn_op[i] ){ in process()454 … Trace("sort-inference-debug") << ", while operator arg has type " << tn_op[i] << std::endl; in process()457 int ct2 = getIdForType( tn_op[i] ); in process()