https://github.com/banach-space approved this pull request. Reads very well, the examples are clearly documented, thank you! I've left a few minor suggestions/questions, but this actually ready for landing, LGTM! https://github.com/llvm/llvm-project/pull/76725