15.3.487  src/lib/std/src/io/winix-data-file-for-os–premicrothread.api

## winix-data-file-for-os--premicrothread.api
#
# API for high-level file I/O layer,
# which sits above the platform-dependent 
# driver layer defined by
#
#     src/lib/std/src/io/winix-base-file-io-driver-for-os--premicrothread.api

# Compiled by:
#     src/lib/std/src/standard-core.sublib

# Implemented by:
#     src/lib/std/src/io/winix-data-file-for-os-g--premicrothread.pkg
#     src/lib/std/src/posix/winix-data-file-for-posix--premicrothread.pkg
#     src/lib/std/src/win32/winix-data-file-for-win32.pkg

api Winix_Data_File_For_Os__Premicrothread
    =
    api {
        include api Winix_File_For_Os__Premicrothread;                                  # Winix_File_For_Os__Premicrothread     is from   src/lib/std/src/io/winix-file-for-os--premicrothread.api
        #
        open_for_read:      String -> Input_Stream;
        open_for_write:     String -> Output_Stream;
        open_for_append:    String -> Output_Stream;
    }
    where      Vector        == vector_of_one_byte_unts::Vector
    also  pur::Vector        == vector_of_one_byte_unts::Vector
    also  pur::Element       == one_byte_unt::Unt
    also  pur::File_Position == file_position::Int;



## COPYRIGHT (c) 1995 AT&T Bell Laboratories.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.