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