Idris2Doc : Data.C.Integer
Definitions
0 Short : Type- Totality: total
Visibility: public export 0 CInt : Type- Totality: total
Visibility: public export 0 Long : Type- Totality: total
Visibility: public export 0 LongLong : Type- Totality: total
Visibility: public export 0 UShort : Type- Totality: total
Visibility: public export 0 UInt : Type- Totality: total
Visibility: public export 0 ULong : Type- Totality: total
Visibility: public export 0 ULongLong : Type- Totality: total
Visibility: public export 0 PidT : Type- Totality: total
Visibility: public export 0 UidT : Type- Totality: total
Visibility: public export 0 GidT : Type- Totality: total
Visibility: public export 0 IdT : Type- Totality: total
Visibility: public export 0 KeyT : Type- Totality: total
Visibility: public export 0 SsizeT : Type- Totality: total
Visibility: public export 0 SizeT : Type- Totality: total
Visibility: public export 0 ModeT : Type- Totality: total
Visibility: public export 0 OffT : Type- Totality: total
Visibility: public export 0 TimeT : Type- Totality: total
Visibility: public export 0 ClockT : Type- Totality: total
Visibility: public export 0 SusecondsT : Type- Totality: total
Visibility: public export 0 NsecT : Type- Totality: total
Visibility: public export TimespecSize : Bits32- Totality: total
Visibility: public export AnyPtrSize : Bits32- Totality: total
Visibility: public export 0 FsBlkCntT : Type- Totality: total
Visibility: public export 0 FsFilCntT : Type- Totality: total
Visibility: public export 0 DevT : Type- Totality: total
Visibility: public export 0 InoT : Type- Totality: total
Visibility: public export 0 NlinkT : Type- Totality: total
Visibility: public export 0 BlkSizeT : Type- Totality: total
Visibility: public export 0 BlkCntT : Type- Totality: total
Visibility: public export