Idris2Doc : Data.C.Ptr

Data.C.Ptr

(source)
Reexports
import public Data.C.Array
import public Data.C.Deref
import public Data.C.Integer
import public Data.C.SizeOf
import public Data.C.Struct