Idris2Doc : Spidr.Compiler.Enzyme.MLIR.Implementations.CoreDialectsAutoDiffImplementations

Spidr.Compiler.Enzyme.MLIR.Implementations.CoreDialectsAutoDiffImplementations

(source)
For internal spidr use only.

Definitions

registerCoreDialectAutodiffInterfaces : HasIO io => DialectRegistry -> io ()
Totality: total
Visibility: export