sig
  type graph_exploration_type = Fwd_dfs | Fwd_bfs | Bwd_dfs | Bwd_bfs | Mixed
  val graph_exploration_names :
    (Option.Cegar.graph_exploration_type * string) list
  type graph_refinement_type = Rel | PostPre
  val graph_refinement_names :
    (Option.Cegar.graph_refinement_type * string) list
  val graph_exploration_opt :
    Option.Cegar.graph_exploration_type Pervasives.ref
  val graph_refinement_opt :
    Option.Cegar.graph_refinement_type Pervasives.ref
  val graph_exploration : unit -> Option.Cegar.graph_exploration_type
  val graph_refinement : unit -> Option.Cegar.graph_refinement_type
  val arg_spec : unit -> (string * Arg.spec * string) list
end