Contract
Return type	wob
No input parameters.

Water Contract
<method thread.is_done/>

See also: thread

Returns true if the subject thread has been started and has finished. See example in the documentation for thread.