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