Module mvreg

mdcs_delta::mutators

Module mvreg 

Source

Structs§

WriteDelta
Delta for write operation on Multi-Value Register

Functions§

apply_write
Apply write delta to MVRegister
write_delta
Delta-mutator for write operation