PreviousUpNext

15.4.1207  src/lib/std/src/win32/win32-file.pkg

## win32-file.pkg



# The implementation of the file stack on Win32 systems.

package file
:>
File
    where type pure_io::Reader = text_stream_readers_and_writers::Reader
    where type pure_io::Writer = text_stream_readers_and_writers::Writer
    where type pure_io::pos    = text_stream_readers_and_writers::pos
=
    file_g (

        package winix_stream_readers_and_writers
            =
            Win32TextPrimIO
    );



## COPYRIGHT (c) 1996 Bell Labs.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2011,
## released under Gnu Public Licence version 3.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext