Type rename: Nat to Index #1
Description
MLIR uses "index" as the native integer for induction and length, maybe it would be more familiar to use that terminology, too?
{{ message }}
MLIR uses "index" as the native integer for induction and length, maybe it would be more familiar to use that terminology, too?