Idris2Doc : Spidr.Compiler.Stablehlo.Dialect.Serialization

Spidr.Compiler.Stablehlo.Dialect.Serialization

For internal spidr use only.

Definitions

serializePortableArtifact : HasIO io => ModuleOp -> CppString -> RawStringOStream -> io Bool
Totality: total
Visibility: export