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