pub fn iter_map_simplify(
indices: impl IntoIterator<Item = impl IntoExpr>,
input_iters: &Map<Var, Range>,
predicate: impl IntoExpr,
check_level: IterMapLevel,
analyzer: Option<&Analyzer>,
simplify_trivial_iterators: bool,
) -> Result<Array<Expr>>Expand description
Simplify indices through iterator map detection; they are returned unchanged when they are
not iterator maps (sym.IterMapSimplify).