Spidr.Compiler.Stablehlo.Dialect.Version

For internal spidr use only.

Definitions

data Version : Type

Totality: total
Visibility: public export
Constructor: 

MkVersion : GCAnyPtr -> Version

getCurrentVersion : HasIO io => io Version

Totality: total
Visibility: export

toString : HasIO io => Version -> io CppString

Totality: total
Visibility: export