Idris2Doc : Compiler.Stablehlo.Dialect.Serialization

Compiler.Stablehlo.Dialect.Serialization

(source)
For internal spidr use only.

Definitions

serializePortableArtifact : HasIOio=>ModuleOp->CppString->RawStringOStream->ioBool
Totality: total
Visibility: export