vstd::string

Function to_string_from_display_ensures

Source
pub uninterp fn to_string_from_display_ensures<T: Display + ?Sized>(
    t: &T,
    s: String,
) -> bool
Expand description