pub type PostStateSlots = Vec<Vec<Word>>;
Post-state slots generated from state reads.
struct PostStateSlots { /* private fields */ }