Idris2Doc : Spidr.Compiler.EnzymeJAX.Src.EnzymeAD.JAX.Implementations.XLADerivatives

Spidr.Compiler.EnzymeJAX.Src.EnzymeAD.JAX.Implementations.XLADerivatives

For internal spidr use only.

Definitions

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