You can search for identifiers within the package.
in-package search v0.2.0
type 'a t =
| Necessary of 'a
| Changed of 'a * 'a
| Invalidated
| Unnecessary
include Ppx_compare_lib.Comparable.S1 with type 'a t := 'a t
val compare : 'a Base__Ppx_compare_lib.compare -> 'a t Base__Ppx_compare_lib.compare
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t