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