Idris2Doc : Data.Bytes.Prims

Data.Bytes.Prims

(source)
Definitions
prim__flBitField : Double -> Bits64
prim__bitFieldFl : Bits64 -> Double