Idris2Doc : Compiler.MLIR.Pass.PassRegistry

Compiler.MLIR.Pass.PassRegistry

For internal spidr use only.

Definitions

parsePassPipeline : HasIOio=>String->PassManager->RawStringOStream->ioBool
Totality: total
Visibility: export