Module `AsyncTaskQueue.MakeWorker`

Server-side functor. MakeWorker T creates the server task dispatcher.

Parameters

T : Task

Signature

val init_stdout : unit -> unit: init_stdout () is called at Coqtop.toploop_init time.

val main_loop : unit -> unit: main_loop () is called at Coqtop.toploop_run time.