You can search for identifiers within the package.
in-package search v0.2.0
type fp_tag
type integral_tag
module type Safe = sig ... end
module type Full = sig ... end