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

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

For internal spidr use only.

Definitions

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