vstd::std_specs::cmp

Function partial_cmp_ensures

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