sig
  exception FOF of bool
  exception CLAUSIFIER_RESOURCE_OUT
  exception NO_SOLUTION of string
  exception PARSE_ERROR
  val debug : bool
  val stable_derivation : bool
  val version : string
  val resolvent_max_size : int
  val resolvents_max_number : int
  val max_cached_partial_context_unifiers : int
  val max_unprocessed_assert_candidates : int
  val max_assert_candidates : int
  val max_assert_lookahead : int
  val max_assert_lookahead_exceeding : int
  val max_unprocessed_split_candidates : int
  val decay_clause_utility_interval : int
  val decay_clause_utility_ratio : int
  val lemma_max_constraints : int
  val jumping_min_distance : int
  val jumping_check_every_splits : int
  val jumping_time_delta : float
  val fd_static_symmetry_reduction : bool
  val fd_use_canonicity : bool
  val fd_use_term_definitions : bool
  val fd_use_definitions : bool
  val fd_use_diff : bool
  val fd_instantiate_totality_axiom : bool
end