You can search for identifiers within the package.
in-package search v0.2.0
type t = {
display : display;
id : int;
x : float;
y : float;
dx : float;
dy : float;
}