Module `Imandra_thread_util.Background_thread`

Background thread, for running tasks asynchronously

This is a layer on top of Task_runner1 that adds futures.

module type S = sig ... end

val start : name:string -> unit -> (module S)