Idris2Doc : Compiler.Xla.XlaData

Compiler.Xla.XlaData

For internal spidr use only.

Definitions

xlaIdent : DType->Int
Totality: total
Visibility: export