Spidr.Compiler.MLIR.IR.ValueRange

For internal spidr use only.

Definitions

data ValueRange : Type

Totality: total
Visibility: public export
Constructor: 

MkValueRange : GCAnyPtr -> ValueRange

mkValueRange : HasIO io => List Value -> io ValueRange

Totality: total
Visibility: public export