You can search for identifiers within the package.
in-package search v0.2.0
module Make (M : S) : S with type 'a t = 'a Core_kernel.Or_error.t M.t
module Make2 (M : S2) : S2 with type ('a, 'b) t = ('a Core_kernel.Or_error.t, 'b) M.t