Module Explore

Search strategies.
...
module type SearchProblem = sig ... end
...
module Make : functor (S : SearchProblem) -> sig ... end