You can search for identifiers within the package.
in-package search v0.2.0
val public_input_size : int
val valid : case
val wrong : case
val basic : case
val list : case list