You can search for identifiers within the package.
in-package search v0.2.0
module type Interpretor_type = sig ... end
val wait_next_instant : float -> float -> float -> bool
module M (Interpretor : Interpretor_type) : sig ... end