You can search for identifiers within the package.
in-package search v0.2.0
electrod.libelectrod
Smv_trace_parser.Make
module D : sig ... end
type token = Smv_trace_tokens.token
exception Error
val trace : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Outcome.states