You can search for identifiers within the package.
in-package search v0.2.0
alg_structs
Monoid.Int
Monoids over int
int
module Sum : S with type t = int
op is (+) and unit is 0
op
(+)
unit
module Product : S with type t = int
op is ( * ) and unit is 1
( * )