Idris2Doc
: Compiler.MLIR.IR.Attributes
Index
Default
Alternative
Black & White
Compiler.MLIR.IR.Attributes
For internal spidr use only.
Definitions
data
Attribute
:
Type
Totality
:
total
Visibility
:
public export