0 | module System.File.Types
 1 |
 2 | %default total
 3 |
 4 | ||| A pointer to a file.
 5 | public export
 6 | FilePtr : Type
 7 | FilePtr = AnyPtr
 8 |
 9 | ||| A file handle.
10 | public export
11 | data File : Type where
12 |      FHandle : FilePtr -> File
13 |