threadpool.ml1 2 3 4 5 6 7 8 9 10 11 12 13# 1 "src/util/parallel/threadpool.no-domainslib.ml" type t = unit type 'a promise = 'a let run pool f = f () let create n = () let add_work pool f = f () let await_all pool promises = () let finished_with pool = ()