
  0 | module System.Posix.Dir.Dir
  1 | 
  2 | %default total
  3 | 
  4 | export
  5 | record Dir where
  6 |   constructor MkDir
  7 |   ptr : AnyPtr
  8 | 
  9 | export %inline
 10 | dirptr : Dir -> AnyPtr
 11 | dirptr = ptr
 12 | 
 13 | export %inline
 14 | wrapdir : AnyPtr -> Dir
 15 | wrapdir = MkDir
 16 |