You can search for identifiers within the package.
in-package search v0.2.0
constraint 'a = unit
inherit monoid
method private zero : unit
method private plus : unit -> unit -> unit