Idris2Doc : Spidr.Compiler.Enzyme.MLIR.Dialect.Dialect

Spidr.Compiler.Enzyme.MLIR.Dialect.Dialect

For internal spidr use only.

Definitions

loadDialectEnzymeDialect : HasIO io => MLIRContext -> io ()
Totality: total
Visibility: export