Function vstd::std_specs::control_flow::spec_from

pub spec fn spec_from<S, T>(value: T, ret: S) -> bool