Up
–
coq
» Partac
Module
Partac
val
enable_par :
nworkers:int
->
unit
module
TacTask
:
AsyncTaskQueue.Task