You can search for identifiers within the package.
in-package search v0.2.0
val (--) : int -> int -> int list
Sequence: i--j is the sequence i;i+1;...;j-1;j
i--j
i;i+1;...;j-1;j