Searched refs:NewConjunction (Results 1 – 1 of 1) sorted by relevance
736 NormalizedConstraint NewConjunction(S.Context, std::move(*Conjunction), in fromConstraintExprs() local738 *Conjunction = std::move(NewConjunction); in fromConstraintExprs()