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