isla_axiomatic::axiomatic::relations
pub fn po<B: BV>(ev1: &AxEvent<'_, B>, ev2: &AxEvent<'_, B>) -> bool