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