Make an array from a sequence of terms. Requires a key sort, as all arrays do. This sort must be iterable (i.e., bool, int, bit-vector, or field). a value sort, for the array's default
(key_sort: Sort, value_sort: Sort, i: Vec<Term>)
source not stored for this graph (policy: none)