package coq

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Explore.Make`Source

module S : SearchProblem

Sourceval depth_first : S.state -> S.state

Sourceval debug_depth_first : S.state -> S.state

Sourceval breadth_first : S.state -> S.state

Sourceval debug_breadth_first : S.state -> S.state