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