Task_runner1 (imandra-base.Imandra_thread_util.Task

1-thread Task Runner

A background thread that runs jobs sequentially.

module type S = sig ... end

val start : 
  ?on_exn:( exn -> Stdlib.Printexc.raw_backtrace -> unit ) ->
  name:string ->
  unit ->
  (module S)