Sourcetype async_proofs = | APoff| APonLazy| APon
Sourcetype tac_error_filter = [ | `None| `Only of string list| `All
] Sourcetype 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;
}