13.4.152  timeout_mailop

The standard library timeout_mailop package implements timing out and sleep functionality for Mythryl the interthread communication facility.

The timeout_mailop package implements the Timeout_Mailop api.

The timeout_mailop api source code is in .

See also: mailop package.

The above information is manually maintained and may contain errors.

api {    timeout_in' : time::Time -> Mailop(Void );
    timeout_at' : time::Time -> Mailop(Void );
    sleep_for : time::Time -> Void;
    sleep_until : time::Time -> Void;
    reset_sleep_queue_to_empty : Void -> Void;
    wake_sleeping_threads_whose_time_has_come : Void -> Void;
    time_until_next_sleeping_thread_wakes : Void -> Null_Or(time::Time );
};