AsyncTaskQueue.MakeWorker
Server-side functor. MakeWorker T creates the server task dispatcher.
MakeWorker T
module T : Task
val init_stdout : unit -> unit
init_stdout () is called at Coqtop.toploop_init time.
init_stdout ()
Coqtop.toploop_init
val main_loop : unit -> unit
main_loop () is called at Coqtop.toploop_run time.
main_loop ()
Coqtop.toploop_run