Idris2Doc : Compiler.Stablehlo.Dialect.Serialization

Compiler.Stablehlo.Dialect.Serialization

For internal spidr use only.

Definitions

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