kuhar wrote: You can see how the llvm ref uses similar wording to define the `freeze` instruction: https://llvm.org/docs/LangRef.html#id334 . If you search for other uses of 'arbitrary' there are other examples of the use 'any' as the enum option. https://github.com/llvm/llvm-project/pull/152808