Skip to main content

axiom_borrowed_key_hashing_matches_string

vstd::std_specs::hash

Function axiom_borrowed_key_hashing_matches_string 

Source 
pub broadcast proof fn axiom_borrowed_key_hashing_matches_string()
Expand description
ensures
#[trigger] borrowed_key_hashing_matches::<String, str>(),