Function indexmod

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

a % b over non-negative indices, which is floormod (C++ indexmod, prim._OpIndexMod).