You can search for identifiers within the package.
in-package search v0.2.0
grenier.strong
Finite.Map_of_array
module A : sig ... end
type domain
val domain : domain set
type codomain = A.codomain
val get : domain elt -> codomain