Spidr.Compiler.LLVM.ADT.APFloat

For internal spidr use only.

Definitions

data APFloat : Type

Totality: total
Visibility: public export
Constructor: 

MkAPFloat : GCAnyPtr -> APFloat

getLargest : HasIO io => Bool -> io APFloat

Totality: total
Visibility: export