Spidr.Compiler.Stablehlo.Dialect.StablehloAttrs

For internal spidr use only.

Definitions

data DotDimensionNumbersAttr : Type

Totality: total
Visibility: public export
Constructor: 

MkDotDimensionNumbersAttr : GCAnyPtr -> DotDimensionNumbersAttr

get : HasIO io => MLIRContext -> List Nat -> List Nat -> List Nat -> List Nat -> io DotDimensionNumbersAttr

Totality: total
Visibility: export