You can search for identifiers within the package.
in-package search v0.2.0
val make : nb_proofs:int -> public_input_size:int -> k:int -> case list
val list : case list
val list_slow : case list