Searched defs:new_sequence_abs (Results 1 – 1 of 1) sorted by relevance
733 auto new_sequence_abs = dyn_cast_ptr<AbstractSequence>(new_abs); in UpdateSequenceNode() local801 auto new_sequence_abs = std::make_shared<S>(elements_abs); in PurifySequenceValueNode() local890 …auto new_sequence_abs = std::make_shared<AbstractNamedTuple>(sub_class_name, key_abs, elements_abs… in PurifyNamedTupleValueNode() local1827 auto new_sequence_abs = dyn_cast<abstract::AbstractSequence>(res->second); in AcquireUniqueEvalResult() local