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

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