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