Idris2Doc : Compiler.Stablehlo.Dialect.StablehloOps

Compiler.Stablehlo.Dialect.StablehloOps

For internal spidr use only.

Definitions

dataConstantOp : Type
Totality: total
Visibility: public export
Constructor: 
MkConstantOp : GCAnyPtr->ConstantOp
createConstantOp : HasIOio=>OpBuilder->Location->DenseElementsAttr->ioConstantOp
Totality: total
Visibility: export
getOperation : HasIOio=>ConstantOp->ioOperation
Totality: total
Visibility: export