Beaver.MLIR.ODS.Dump (beaver v0.4.7)
This module provides functionality for working with MLIR ODS (Operation Definition Specification) dumps. It allows looking up operation definitions by name and generating documentation for them.
The module loads ODS dump data at compile time and provides functions to:
- Look up operations by their fully qualified names (e.g. "affine.for")
- Generate documentation for operations including their attributes, operands, and results
- Check if an operation supports result type inference
Operations can be looked up using lookup/1, and documentation can be generated using gen_doc/1.