Module Imandrakit_thread.Background_thread

Background thread, for running tasks asynchronously in a sequential fashion.

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

type t = Executor.t
val start : ?active:Imandrakit_sync.Switch.t -> ?on_exn:(exn -> Stdlib.Printexc.raw_backtrace -> unit) -> name:string -> unit -> t
val with_ : ?active:Imandrakit_sync.Switch.t -> ?on_exn:(exn -> Stdlib.Printexc.raw_backtrace -> unit) -> name:string -> unit -> (t -> 'a) -> 'a
val join : t -> unit