full_set_properties

vstd::set_lib

Function full_set_properties 

Source 
pub broadcast proof fn full_set_properties<A: FiniteFull>()
Expand description
ensures
(Set::<A>::full()).finite(),