Model (rocq-runtime.WorkerPool.Make.Model)

type process

val spawn : 
  spawn_args:string list ->
  int ->
  CoqworkmgrApi.priority ->
  worker_id * process * CThread.thread_ic * Stdlib.out_channel

type extra

val manager : 
  extra cpanel ->
  (worker_id * process * CThread.thread_ic * Stdlib.out_channel) ->
  unit