Function indexdiv

pub fn indexdiv(a: impl Operand, b: impl Operand) -> Result<Expr>

a / b over non-negative indices, which is floordiv (C++ indexdiv, prim._OpIndexDiv).