Module miden_objects::utils::collections

Structs

• RecordingMap
  A RecordingMap that records read requests to the underlying key-value map.

Traits

• KvMap
  A trait that defines the interface for a key-value map.