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