Array specification

select/store mirror SMT-LIB; eqRange, experimental in cvc5, compares two arrays over an index range.

Constructors