vstd::std_specs::control_flow

Function spec_from

Source 
pub uninterp fn spec_from<S, T>(value: T, ret: S) -> bool
Expand description