Module Option.LazyAbstraction


module LazyAbstraction: sig .. end


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