Function isla_axiomatic::axiomatic::relations::is_translate[][src]

pub fn is_translate<B: BV>(ev: &AxEvent<'_, B>) -> bool