Imandra_util.Background_thread
type t
A background thread
val start : unit -> t
val call : t -> ('a -> 'b) -> 'a -> 'b Fut.t
call thread f x queue a task that will compute f x, and returns a future for the result of that computation.
call thread f x
f x