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; }