Function isla_axiomatic::axiomatic::relations::translation_walk_order [−][src]
pub fn translation_walk_order<B: BV>(
ev1: &AxEvent<'_, B>,
ev2: &AxEvent<'_, B>
) -> bool
pub fn translation_walk_order<B: BV>(
ev1: &AxEvent<'_, B>,
ev2: &AxEvent<'_, B>
) -> bool