minerva 0.2.0

Causal ordering for distributed systems
1
2
3
4
5
6
7
8
use super::model::Seq;
use crate::metis::{Dotted, Retired};

pub(super) fn condense_pair(pair: &Seq, retired: &Retired) -> Seq {
    let mut rhapsody = pair.store().clone();
    let _ = rhapsody.condense(retired);
    Dotted::try_new(rhapsody, pair.context().clone()).unwrap()
}