Module ThreadReturn

Thread returning analysis.

val is_current : Queries.ask -> bool