You can search for identifiers within the package.
in-package search v0.2.0
type _ t =
| Empty : unit t
| Field : {
name : string;
kind : ('a, 'conv) Kind.t;
conv : 'conv;
rest : 'b t;
} -> ('a * 'b) t
A GADT specifying record fields.