Trait CursorMutSpecFns 

pub trait CursorMutSpecFns<Key, Value>: View<V = CursorMutModel<Key, Value>> + Sized {
    // Required method
    spec fn final_map(self) -> Map<Key, Value>;
}

Abstract and prophetic state for mutable B-tree cursors.

Required Methods

spec fn final_map(self) -> Map<Key, Value>

The contents of the borrowed map when this cursor’s borrow is resolved.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'a, Key, Value, A> CursorMutSpecFns<Key, Value> for CursorMut<'a, Key, Value, A>

uninterp spec fn final_map(self) -> Map<Key, Value>

Implementors