Idris2Doc : Compiler.Enzyme.MLIR.Dialect.Dialect

Compiler.Enzyme.MLIR.Dialect.Dialect

For internal spidr use only.

Definitions

insertEnzymeDialect : HasIOio=>DialectRegistry->io ()
Totality: total
Visibility: export
loadDialectEnzymeDialect : HasIOio=>MLIRContext->io ()
Totality: total
Visibility: export