You can search for identifiers within the package.
in-package search v0.2.0
Checking targets, this specifies what we expect check to reach
type t =
| End
| Position of int * int