vstd::std_specs::cmp

Function lt_ensures

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