You can search for identifiers within the package.
in-package search v0.2.0
dolmen.intf
Term.Smtlib_Array
type t
The type of terms
val select : t -> t -> t
select arr idx creates the get operation on functionnal array arr for index idx.
select arr idx
arr
idx
val store : t -> t -> t -> t
store arr idx value creates the set operation on functional array arr for value value at index idx.
store arr idx value
value