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