You can search for identifiers within the package.
in-package search v0.2.0
module StrMap : sig ... end
type term
type constraints
type custom_state
type solution = {
assignments : term StrMap.t;
constraints : constraints;
state : custom_state;
}