You can search for identifiers within the package.
in-package search v0.2.0
base
Comparator.Module
type ('a, 'b) t = (module S with type comparator_witness = 'b and type t = 'a)
First-class module providing a comparator and witness type.