Documentation

'tArray i n' is an array indexed by bitvectors of widht i, and storing bitvectors of width n.

select array index

store array index value