Function vstd::std_specs::hash::axiom_box_bool_obeys_hash_table_key_model

source · 
pub broadcast proof fn axiom_box_bool_obeys_hash_table_key_model()
Expand description
ensures
#[trigger] obeys_key_model::<Box<bool>>(),