Idris2Doc : Compiler.Stablehlo.Dialect.Register

Compiler.Stablehlo.Dialect.Register

For internal spidr use only.

Definitions

registerAllDialects : HasIOio=>DialectRegistry->io ()
Totality: total
Visibility: export