Compiler.MLIR.IR.BuiltinAttributes

For internal spidr use only.

Definitions

data DenseElementsAttr : Type

Totality: total
Visibility: public export
Constructor: 

MkDenseElementsAttr : GCAnyPtr -> DenseElementsAttr

get : HasIO io => ShapedType -> Double -> io DenseElementsAttr

Totality: total
Visibility: export