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