Idris2Doc
: Data.LLVM.Pass
Index
Default
Alternative
Black & White
Data.LLVM.Pass
Definitions
data
Pass
:
Type
Totality
:
total
Visibility
:
public export
Constructor
:
Level
:
Int
->
Pass