[chrislattner]

If you're interested in compiler nerdery, you should totally check out the source code, you'll see just how much we meant by "Syntactic sugar for MLIR" :-)

A relatively accessible example is the `Int` type: https://github.com/modularml/mojo/blob/main/stdlib/src/built...

implemented in terms of the index dialect (that Modular upstreamed to MLIR): https://mlir.llvm.org/docs/Dialects/IndexOps/

-Chris