Idris2Doc : Data.LLVM.Pass

Data.LLVM.Pass

Definitions

dataPass : Type
Totality: total
Visibility: public export
Constructor: 
Level : Int->Pass