Module Stm.AsyncOpts

type cache =
| Force
type async_proofs =
| APoff
| APonLazy
| APon
type tac_error_filter =
| FNone
| FOnly of string list
| FAll
type stm_opt = {
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 : stm_opt