You can search for identifiers within the package.
in-package search v0.2.0
constraint 'a = < plus : 'b t -> 'b t -> 'b t ; zero : 'c t.. >
method plus : 'b t -> 'b t -> 'b t
method zero : 'c t