Spidr.Compiler.MLIR.IR.Location

For internal spidr use only.

Definitions

data Location : Type

Totality: total
Visibility: public export
Constructor: 

MkLocation : GCAnyPtr -> Location

prim__deleteLocation : AnyPtr -> PrimIO ()