[Mlir-commits] [mlir] [mlir] Add property combinators, initial ODS support (PR #94732)

[Christian Ulmann]

================
@@ -187,22 +190,27 @@ values, including two categories:
     even though they are not materialized, it should be possible to store as an
     attribute.
 
-Both operands and attributes are specified inside the `dag`-typed `arguments`,
-led by `ins`:
+Properties are similar to attributes, except that they are not stored within
+the MLIR context but are stored inline with the operation.
+
+Operands, attributes, and properties  are specified inside the `dag`-typed
----------------
Dinistro wrote:

```suggestion
Operands, attributes, and properties are specified inside the `dag`-typed
```

https://github.com/llvm/llvm-project/pull/94732