Idris2Doc
: Compiler.Xla.XlaData
Index
Default
Alternative
Black & White
Compiler.Xla.XlaData
(
source
)
For internal spidr use only.
Definitions
xlaIdent
:
DType
->
Int
Totality
:
total
Visibility
:
export