Idris2Doc : Compiler.MLIR.IR.Attributes

Compiler.MLIR.IR.Attributes

For internal spidr use only.

Definitions

dataAttribute : Type
Totality: total
Visibility: public export