pub fn vc_happens_before(a: &[u64], b: &[u64]) -> bool
Vector-clock happens-before a → b: a[i] ≤ b[i] for all i AND a ≠ b.
a → b
a[i] ≤ b[i]
a ≠ b