Struct Floor 

struct Floor {
    c: u64,
    w: String,
    held: Option<BTreeSet<String>>,
    removed: BTreeMap<String, u64>,
}

What a format-1 entry renamed by format 2 last said, kept once this device writes format 2 (Memory::floors): a record of format 1 under that entry read again (a store joining, a record rebuilt, an older copy of a round put back) at or below it is passed over, so that nothing format 1 already said comes back.

Fields

c: u64

w: String

held: Option<BTreeSet<String>>

For a list format 1 sends whole: the names, in format 2, of the elements it held then. A later whole list takes out only those of them it no longer holds, never an element added since in format 2.

removed: BTreeMap<String, u64>

For a list format 1 sends whole: the elements a whole list took out here, with the clock of the list that did (Memory::lists). A record of one at or below that clock is passed over (below_whole_floor).

Trait Implementations

impl Clone for Floor

fn clone(&self) -> Floor

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Floor

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Floor

fn default() -> Floor

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Floor

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Floor

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.