Module Option.LazyAbstraction
module LazyAbstraction:sig..end
type tree_exploration_type =
| |
Bfs |
| |
Dfs |
val tree_exploration_names : (tree_exploration_type * string) listval tree_exploration_opt : tree_exploration_type refval tree_pruning_opt : bool refval tree_exploration : unit -> tree_exploration_typeval tree_pruning : unit -> boolval arg_spec : unit -> (string * Arg.spec * string) list