You can search for identifiers within the package.
in-package search v0.2.0
type 'src write = (module Write with type t = 'src)
type 'src t =
| Writer of 'src write * 'src
val of_write_src : 'a write -> 'a -> 'a t