You can search for identifiers within the package.
in-package search v0.2.0
GT
GT.option_t
method virtual c_None : 'inh -> 'a option -> 'syn
method virtual c_Some : 'inh -> 'a option -> 'a -> 'syn