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