vstd::std_specs::hash

Function axiom_u32_obeys_hash_table_key_model

Source
pub broadcast proof fn axiom_u32_obeys_hash_table_key_model()
Expand description
ensures
#[trigger] obeys_key_model::<u32>(),