Function vstd::std_specs::hash::axiom_i16_obeys_hash_table_key_model
source · pub broadcast proof fn axiom_i16_obeys_hash_table_key_model()Expand description
ensures
#[trigger] obeys_key_model::<i16>(),