Function vstd::string::ex_string_eq

source · 
pub exec fn ex_string_eq(s: &String, other: &String) -> res : bool
Expand description
ensures
res == (s@ == other@),