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