pub broadcast proof fn axiom_str_obeys_hash_table_key_model()Expand description
ensures
#[trigger] obeys_key_model::<str>(),pub broadcast proof fn axiom_str_obeys_hash_table_key_model()#[trigger] obeys_key_model::<str>(),