You can search for identifiers within the package.
in-package search v0.2.0
The low-level SAT solver.
A general purpose SAT solver.
module type USER = sig ... end
module Make (User : USER) : sig ... end