Searched refs:RightAndOperator (Results 1 – 1 of 1) sorted by relevance
27 const auto RightAndOperator = [=](const BinOp *A) { in implies() local50 : RightAndOperator(cast<And>(RHS)); in implies()56 return RNeg ? RightAndOperator(cast<Or>(RHS)) in implies()