flux_refineck::primops

Function match_bin_op

Source 
pub(crate) fn match_bin_op(
    op: BinOp,
    bty1: &BaseTy,
    idx1: &Expr,
    bty2: &BaseTy,
    idx2: &Expr,
    check_overflow: bool,
) -> MatchedRule