You can search for identifiers within the package.
in-package search v0.2.0
inquire.lambda-term
Make.checkbutton
inherit button
val mutable state : bool
method state : bool
method draw : LTerm_draw.context -> LTerm_widget_base_impl.t -> unit