You can search for identifiers within the package.
in-package search v0.2.0
module D : DOMAIN
val analyze : ?exnhandler:(D.t -> D.t) -> ?exnescape:D.t -> transfer:(Mach.instruction -> next:D.t -> exn:D.t -> D.t) -> Mach.instruction -> D.t * (int -> D.t)