You can search for identifiers within the package.
in-package search v0.2.0
module type S = sig ... end
module Make (V : Value_intf.T) : S with type value := V.t and type vbool := V.vbool and type int32 := V.int32 and type int64 := V.int64 and type float32 := V.float32 and type float64 := V.float64 and type ref_value := V.ref_value