Idris2Doc : Compiler.EnzymeJAX.Src.EnzymeAD.JAX.Passes.Passes

Compiler.EnzymeJAX.Src.EnzymeAD.JAX.Passes.Passes

(source)
For internal spidr use only.

Definitions

addArithRaisingPass : HasIO io => PassManager -> io ()
Totality: total
Visibility: export