Module Const.ArraySource

A module for array constant symbols that occur in terms.

Sourceval const : t

Array selection.

Sourceval select : t

Array selection.

Sourceval store : t

Array store.