You can search for identifiers within the package.
in-package search v0.2.0
Version 0.2.5
module Permissive : sig ... end