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.