14.4.32  Io_Cleanup_At_Shutdown

The standard library Io_Cleanup_At_Shutdown api defines tracking of open I/O streams, to close them cleanly at exit.

The Io_Cleanup_At_Shutdown api is implemented by the io_cleanup_at_shutdown package.

The Io_Cleanup_At_Shutodwn api source code is in src/lib/std/src/io/io-cleanup-at-shutdown.api.

See also: Threadkit_Io_Cleanup_At_Shutdown.

The above information is manually maintained and may contain errors.

api {    Tag ;
    os_init_hook : Ref((Void -> Void) );
    std_strm_hook : Ref((Void -> Void) );
    add_cleaner : {close:Void -> Void,  flush:Void -> Void, 
                   init:Void -> Void}
                  -> Tag;
    rebind_cleaner : (Tag , {close:Void -> Void,  flush:Void -> Void, 
                             init:Void -> Void}) -> Void;
    remove_cleaner : Tag -> Void;
};