package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type cache =
  1. | Force
type async_proofs =
  1. | APoff
  2. | APonLazy
  3. | APon
type tac_error_filter = [
  1. | `All
  2. | `None
  3. | `Only of string list
]
type stm_opt = {
  1. async_proofs_n_workers : int;
  2. async_proofs_n_tacworkers : int;
  3. async_proofs_cache : cache option;
  4. async_proofs_mode : async_proofs;
  5. async_proofs_private_flags : string option;
  6. async_proofs_never_reopen_branch : bool;
  7. async_proofs_tac_error_resilience : tac_error_filter;
  8. async_proofs_cmd_error_resilience : bool;
  9. async_proofs_delegation_threshold : float;
  10. async_proofs_worker_priority : CoqworkmgrApi.priority;
}
val default_opts : stm_opt