You can search for identifiers within the package.
in-package search v0.2.0
elpi.runtime
Data.CalcHooks
type run = term list -> term
type eval = {
code : run;
ty_decl : string;
}
type descriptor = (Elpi_util.Util.constant * eval) list
val new_descriptor : unit -> descriptor ref
val eval : run Elpi_util.Util.Constants.Map.t State.component