Idris2Doc : Compiler.Stablehlo.Dialect.Version

Compiler.Stablehlo.Dialect.Version

(source)
For internal spidr use only.

Definitions

dataVersion : Type
Totality: total
Visibility: public export
Constructor: 
MkVersion : GCAnyPtr->Version
getCurrentVersion : HasIOio=>ioVersion
Totality: total
Visibility: export
toString : HasIOio=>Version->ioCppString
Totality: total
Visibility: export