Skip to main content

HasTimestamp

creusot_std::sync_view

Trait HasTimestamp 

Source 
pub trait HasTimestamp {
    // Required methods
    fn get_timestamp(self, view: SyncView) -> Timestamp;
    fn get_timestamp_monotonic(self, x: SyncView, y: SyncView);
}

Required Methods§

Source

fn get_timestamp(self, view: SyncView) -> Timestamp

logic ⚠

Source

fn get_timestamp_monotonic(self, x: SyncView, y: SyncView)

logic(law) ⚠

requires 

x.le_log(y)

ensures 

self.get_timestamp(x).le_log(self.get_timestamp(y))

Implementors§