package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module T : Task

Signature

type queue
val create : int -> CoqworkmgrApi.priority -> queue
val destroy : queue -> unit
val n_workers : queue -> int
val enqueue_task : queue -> T.task -> cancel_switch:cancel_switch -> unit
val join : queue -> unit
val cancel_all : queue -> unit
val cancel_worker : queue -> WorkerPool.worker_id -> unit
val set_order : queue -> (T.task -> T.task -> int) -> unit
val broadcast : queue -> unit
val snapshot : queue -> T.task list
val clear : queue -> unit
val with_n_workers : int -> CoqworkmgrApi.priority -> (queue -> 'a) -> 'a