Module To_cmm_shared.Update_kind

The number of words written when applying this update to a block.

Assumes each field is a word; the byte offset is index * size_addr.

Tightly packed; the byte offset is index * 1. (index is as for make_update, below.)

Assumes each field is a word; the byte offset is index * size_addr.

Tightly packed; the byte offset is index * 2. (index is as for make_update, below.)

Tightly packed; the byte offset is index * 4. (index is as for make_update, below.)

Assumes each field is a word; the byte offset is index * size_addr.

Tightly packed; the byte offset is index * 8.

Tightly packed; the byte offset is index * size_float.

Tightly packed; the byte offset is index * 4.

Assumes each field is a word; the byte offset is index * size_addr.

Tightly packed (two words each); the byte offset is index * 16.

Tightly packed (four words each); the byte offset is index * 32.

Tightly packed (eight words each); the byte offset is index * 64.

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!