You can search for identifiers within the package.
in-package search v0.2.0
dolmen.std
Const.Array
A module for array constant symbols that occur in terms.
val const : t
Array selection.
val select : t
val store : t
Array store.