Go to the first, previous, next, last section, table of contents.


The Timeout module

exception Timeout

Timeout is raised when a timeout occurs

val timeout : float -> ('a -> 'b) -> 'a -> 'b

timeout time fun arg applies fun to arg, and returns the result. raise Timeout if there is no result after time seconds.


Go to the first, previous, next, last section, table of contents.