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