Idris2Doc
: Spidr.Compiler.Enzyme.MLIR.Dialect.Dialect
Index
Default
Alternative
Black & White
Spidr.Compiler.Enzyme.MLIR.Dialect.Dialect
(
source
)
For internal spidr use only.
Definitions
loadDialectEnzymeDialect
:
HasIO
io
=>
MLIRContext
->
io
()
Totality
:
total
Visibility
:
export