Type Definition isla_axiomatic::axiomatic::relations::DepRel[−][src]

type DepRel<B> = fn(_: &AxEvent<'_, B>, _: &AxEvent<'_, B>, _: &[Vec<B>], _: &HashMap<B, Footprint>) -> bool;