minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8

mod examples;
mod properties;
mod snapshot;

/// A dot literal, for the frames that spell an identity by hand.
fn d(station: u32, counter: u64) -> crate::metis::Dot {
    crate::metis::Dot::from_parts(station, counter).expect("a test literal names a real dot")
}