You can search for identifiers within the package.
in-package search v0.2.0
type 'a shared =
| Shared of 'a
| Single of 'a
type 'a t_store = {
act_get : unit -> 'a array;
act_get_shared : unit -> 'a shared array;
act_store : 'a -> int;
act_store_shared : 'a -> int;
}
exception Not_simple
module type Stored = sig ... end
module Store (A : Stored) : sig ... end
module type S = sig ... end
module Make (Arg : S) : sig ... end