Compiler.MLIR.IR.BuiltinTypeInterfaces

For internal spidr use only.

Definitions

data ShapedType : Type

Totality: total
Visibility: public export
Constructor: 

MkShapedType : GCAnyPtr -> ShapedType

Hint: 

Cast RankedTensorType ShapedType