Stm.AsyncOptstype stm_opt = {spawn_args : string list; |
async_proofs_n_workers : int; |
async_proofs_n_tacworkers : int; |
async_proofs_cache : cache option; |
async_proofs_mode : async_proofs; |
async_proofs_private_flags : string option; |
async_proofs_never_reopen_branch : bool; |
async_proofs_tac_error_resilience : tac_error_filter; |
async_proofs_cmd_error_resilience : bool; |
async_proofs_delegation_threshold : float; |
async_proofs_worker_priority : CoqworkmgrApi.priority; |
}val default_opts : spawn_args:string list -> stm_opt