15.3.496  src/lib/std/src/io/winix-pure-text-file-for-os.api

## winix-pure-text-file-for-os.api
#
# This extends the monothreaded Winix_Pure_Text_File_For_Os__Premicrothread interface with mailop-valued operations.

# Compiled by:
#     src/lib/std/standard.lib


api Winix_Pure_Text_File_For_Os {
    #
    include api Winix_Pure_Text_File_For_Os__Premicrothread;            # Winix_Pure_Text_File_For_Os__Premicrothread   is from   src/lib/std/src/io/winix-pure-text-file-for-os--premicrothread.api

    input1evt:           Input_Stream        -> threadkit::Mailop( Null_Or( (Element, Input_Stream) ) );
    input_nevt:        ((Input_Stream, Int)) -> threadkit::Mailop(          (Vector,  Input_Stream) );
    input_mailop:       Input_Stream        -> threadkit::Mailop(          (Vector,  Input_Stream) );
    input_all_mailop:   Input_Stream        -> threadkit::Mailop(          (Vector,  Input_Stream)   );
    input_line_mailop:  Input_Stream        -> threadkit::Mailop( Null_Or( (Vector,  Input_Stream) ) );

};


## COPYRIGHT (c) 1991 John H. Reppy.
## COPYRIGHT (c) 1996 AT&T Research.
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.