TPool (imandra-base.Imandra_thread

Thread Pool

module type S = sig ... end

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

Start a new pool with j job runners