Function extern_spec_core_hint_select_unpredictable 

pub fn extern_spec_core_hint_select_unpredictable<T>(
    cond: bool,
    true_val: T,
    false_val: T,
) -> T

extern spec for ::core::hint::select_unpredictable<T>

This is not a real function: its only use is for documentation.

terminates

ghost

ensures

result == if cond { true_val } else { false_val }