Spidr.Compiler.MLIR.IR.TypeRange

For internal spidr use only.

Definitions

data TypeRange : Type

Totality: total
Visibility: public export
Constructor: 

MkTypeRange : GCAnyPtr -> TypeRange

mkTypeRange : HasIO io => List Type_ -> io TypeRange

Totality: total
Visibility: public export