Idris2Doc : Compiler.MLIR.IR.BuiltinAttributes

Compiler.MLIR.IR.BuiltinAttributes

For internal spidr use only.

Definitions

dataDenseElementsAttr : Type
Totality: total
Visibility: public export
Constructor: 
MkDenseElementsAttr : GCAnyPtr->DenseElementsAttr
get : HasIOio=>ShapedType->Double->ioDenseElementsAttr
Totality: total
Visibility: export