Idris2Doc
: Compiler.Stablehlo.Dialect.Register
Index
Default
Alternative
Black & White
Compiler.Stablehlo.Dialect.Register
For internal spidr use only.
Definitions
registerAllDialects
:
HasIO
io
=>
DialectRegistry
->
io
()
Totality
:
total
Visibility
:
export