Idris2Doc : Compiler.DType

Compiler.DType

(source)
For internal spidr use only.

Definitions

numBits : DType->Bits16
Totality: total
Visibility: export
isSigned : DType->Bool
Totality: total
Visibility: export
mlirType : HasIOio=>MLIRContext->DType->ioType_
Totality: total
Visibility: export