You can search for identifiers within the package.
in-package search v0.2.0
type state = Context.t
type 'a result =
| Result of {
program : 'a;
state : state;
}
val return : state -> 'a -> 'a result
val context : state -> Context.t
module type S = sig ... end
module Make : sig ... end