package coq-core

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

Parameters

module Model : PoolModel

Signature

type pool
val create : Model.extra -> size:int -> CoqworkmgrApi.priority -> pool
val is_empty : pool -> bool
val n_workers : pool -> int
val cancel : worker_id -> pool -> unit
val cancel_all : pool -> unit
val destroy : pool -> unit
val worker_handshake : CThread.thread_ic -> out_channel -> unit
OCaml

Innovation. Community. Security.