stp.ArrayFromBytes

stp.ArrayFromBytes(data, index_bits=32, tm=None, ctx=None)

A Store chain over K(ArraySort(BitVecSort(index_bits), BitVecSort(8)), 0) holding data (bytes or a bytes-like object).