vstd::std_specs::ops

Function add_ensures

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