Up – Package index » goblint index » Library goblint.parallel » Goblint_parallel » Threadpool

Module `Goblint_parallel.Threadpool`Source

Sourcetype t

Sourcetype 'a promise

Sourceval create : int -> t

Sourceval run : t -> (unit -> 'a) -> 'a

Sourceval add_work : t -> (unit -> 'a) -> 'a promise

Sourceval await_all : t -> unit promise list -> unit

Sourceval finished_with : t -> unit