Idris2Doc : Prim.SizeOf

Prim.SizeOf

(source)

Definitions

prim__sizeOfPtr : Bits64
prim__sizeOfChar : Bits64
prim__sizeOfBool : Bits64
prim__sizeOfInt8 : Bits64
prim__sizeOfInt16 : Bits64
prim__sizeOfInt32 : Bits64
prim__sizeOfInt64 : Bits64
prim__sizeOfBits8 : Bits64
prim__sizeOfBits16 : Bits64
prim__sizeOfBits32 : Bits64
prim__sizeOfBits64 : Bits64
prim__sizeOfDouble : Bits64