You can search for identifiers within the package.
in-package search v0.2.0
type 'a t = private {
k : 'a Secp256k1.Key.t;
c : Cstruct.t;
path : Int32.t list;
parent : Cstruct.t;
}
module type CRYPTO = sig ... end
module type S = sig ... end
module Make (Crypto : CRYPTO) : S