You can search for identifiers within the package.
in-package search v0.2.0
val is_all_zeros : string -> int -> bool
is_all_zeroes x len returns true if the substring is all zeroes
is_all_zeroes x len