Compiler.Xla.Shape

For internal spidr use only.

Definitions

data Shape : Type

Totality: total
Visibility: public export
Constructor: 

MkShape : GCAnyPtr -> Shape

delete : AnyPtr -> IO ()

Totality: total
Visibility: export