Searched refs:LeftOrOperator (Results 1 – 1 of 1) sorted by relevance
34 const auto LeftOrOperator = [=](const BinOp *A) { in implies() local76 : LeftOrOperator(cast<And>(LHS)); in implies()82 return LNeg ? LeftOrOperator(cast<Or>(LHS)) in implies()