Function ne_ensures

Source
pub uninterp fn ne_ensures<A>(x: A, y: A, o: bool) -> bool
Expand description