You can search for identifiers within the package.
in-package search v0.2.0
odoc.examples
Resolution.Fragments
Demonstrates the resolution of fragments
module type A = sig ... end
module C : A with type B.t = int
module D : module type of C.B with type t := int