Function vstd::std_specs::control_flow::spec_from

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