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