sig
  type tree_exploration_type = Bfs | Dfs
  val tree_exploration_names :
    (Option.LazyAbstraction.tree_exploration_type * string) list
  val tree_exploration_opt :
    Option.LazyAbstraction.tree_exploration_type Pervasives.ref
  val tree_pruning_opt : bool Pervasives.ref
  val tree_exploration : unit -> Option.LazyAbstraction.tree_exploration_type
  val tree_pruning : unit -> bool
  val arg_spec : unit -> (string * Arg.spec * string) list
end